TY  - JOUR

T1  - Using schedulers to test probabilistic distributed systems

JO  - Formal Aspects of Computing

UR  - https://doi.org/10.1007/s00165-012-0244-5

PY  - 2012/06/29

AU  - Hierons RM

AU  - Núñez M

ED  - 

DO  - DOI: 10.1007/s00165-012-0244-5

PB  - Association for Computing Machinery (ACM)

VL  - 24

IS  - 4-6

SP  - 679

EP  - 699

Y2  - 2025/11/05

ER  -