TY - JOUR
T1 - Using schedulers to test probabilistic distributed systems
JO - Formal Aspects of Computing
PY - 2012/01/01
AU - Hierons RM
AU - N煤帽ez M
ED -
DO - DOI: 10.1007/s00165-012-0244-5
PB - Springer Science and Business Media LLC
VL - 24
IS - 4-6
SP - 679
EP - 699
Y2 - 2025/07/06
ER -