TY - CONF T1 - Testing Probabilistic Distributed Systems UR - https://doi.org/10.1007/978-3-642-13464-7_6 PY - 2010/07/21 AU - Hierons RM AU - Núñez M ED - DO - DOI: 10.1007/978-3-642-13464-7_6 PB - Springer Berlin Heidelberg SN - 9783642134630 SP - 63 EP - 77 Y2 - 2025/11/05 ER -