Using schedulers to test probabilistic distributed systems
- Hierons, R.M.
- Ńũnez, M.
ISSN: 0934-5043, 1433-299X
Año de publicación: 2012
Volumen: 24
Número: 4-6
Páginas: 679-699
Tipo: Artículo
Revista:
Formal Aspects of Computing