Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)
CAV, 2019.
@inproceedings{CAV-2019-HongLMR, author = "Chih-Duo Hong and Anthony W. Lin and Rupak Majumdar and Philipp Rümmer", booktitle = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part I}", doi = "10.1007/978-3-030-25540-4_27", isbn = "['978-3-030-25539-8', '978-3-030-25540-4']", pages = "455--474", publisher = "{Springer}", title = "{Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)}", year = 2019, }