Using schedulers to test probabilistic distributed systems
- Hierons, R.M.
- Ńũnez, M.
ISSN: 0934-5043, 1433-299X
Datum der Publikation: 2012
Ausgabe: 24
Nummer: 4-6
Seiten: 679-699
Art: Artikel
Zeitschrift:
Formal Aspects of Computing