Towards Automated Proof Support for Probabilistic Distributed Systems.

Annabelle McIver, Tjark Weber

Browse the full LPAR paper archive.