%0 Conference Paper %1 conf/csfw/ChevalCK22 %A Cheval, Vincent %A Crubillé, Raphaëlle %A Kremer, Steve %B CSF %D 2022 %I IEEE %K dblp %P 319-334 %T Symbolic protocol verification with dice: process equivalences in the presence of probabilities. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2022.html#ChevalCK22 %@ 978-1-6654-8417-6

@inproceedings{conf/csfw/ChevalCK22, added-at = {2022-11-11T00:00:00.000+0100}, author = {Cheval, Vincent and Crubillé, Raphaëlle and Kremer, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2150b49241dc0cffd2c021fbd1da0c458/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2022}, ee = {https://doi.org/10.1109/CSF54842.2022.9919644}, interhash = {f6cd9bb0bb7d015435ef0f094ad7858b}, intrahash = {150b49241dc0cffd2c021fbd1da0c458}, isbn = {978-1-6654-8417-6}, keywords = {dblp}, pages = {319-334}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:03.000+0200}, title = {Symbolic protocol verification with dice: process equivalences in the presence of probabilities.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2022.html#ChevalCK22}, year = 2022 }