@inproceedings{hierons:hal-01055146, TITLE = {{Testing Probabilistic Distributed Systems}}, AUTHOR = {Hierons, Robert M. and N{\'u}{\~n}ez, Manuel}, URL = {https://inria.hal.science/hal-01055146}, BOOKTITLE = {{Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)}}, ADDRESS = {Amsterdam, Netherlands}, EDITOR = {John Hatcliff; Elena Zucca}, PUBLISHER = {{Springer}}, SERIES = {Formal Techniques for Distributed Systems}, VOLUME = {LNCS-6117}, PAGES = {63-77}, YEAR = {2010}, MONTH = Jun, DOI = {10.1007/978-3-642-13464-7\_6}, PDF = {https://inria.hal.science/hal-01055146/file/61170062.pdf}, HAL_ID = {hal-01055146}, HAL_VERSION = {v1}, }