TY - CONF T1 - Testing Probabilistic Distributed Systems PY - 2010/01/01 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 - 2024/12/23 ER -