%0 Conference Paper %1 conf/cav/HongLMR19 %A Hong, Chih-Duo %A Lin, Anthony W. %A Majumdar, Rupak %A Rümmer, Philipp %B CAV (1) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 455-474 %T Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). %U http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#HongLMR19 %V 11561 %@ 978-3-030-25540-4

@inproceedings{conf/cav/HongLMR19, added-at = {2024-03-21T00:00:00.000+0100}, author = {Hong, Chih-Duo and Lin, Anthony W. and Majumdar, Rupak and Rümmer, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/221cea23b84856e85840a59205d17127c/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2019-1}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25540-4_27}, interhash = {c4c902522dfd8b337054fe2f45a48bad}, intrahash = {21cea23b84856e85840a59205d17127c}, isbn = {978-3-030-25540-4}, keywords = {dblp}, pages = {455-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:53:43.000+0200}, title = {Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#HongLMR19}, volume = 11561, year = 2019 }