Towards automated proof support for probabilistic distributed systems
Annabelle K. McIver*, Tjark Weber
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
18
Link opens in a new tab
Citations
(Scopus)