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 - 2025/03/13 ER -