Towards Automated Proof Support for Probabilistic Distributed Systems (0)

by Annabelle McIver, Tjark Weber
Venue:In: LPAR. 2005