Probabilistic may/must testing: retaining probabilities by restricted schedulers
| Title | Probabilistic may/must testing: retaining probabilities by restricted schedulers |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Georgievska, S, Andova, S |
| Journal | Formal Asp. Comput. |
| Volume | 24 |
| Pagination | 727-748 |
| DOI | 10.1007/s00165-012-0236-5 |
Work Package:
WP1
