%0 Conference Paper %1 conf/apn/GuillouSS24 %A Guillou, Lucie %A Sangnier, Arnaud %A Sznajder, Nathalie %B Petri Nets %D 2024 %E Kristensen, Lars Michael %E van der Werf, Jan Martijn E. M. %I Springer %K dblp %P 291-311 %T Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. %U http://dblp.uni-trier.de/db/conf/apn/pn2024.html#GuillouSS24 %V 14628 %@ 978-3-031-61433-0

@inproceedings{conf/apn/GuillouSS24, added-at = {2024-06-19T00:00:00.000+0200}, author = {Guillou, Lucie and Sangnier, Arnaud and Sznajder, Nathalie}, biburl = {https://www.bibsonomy.org/bibtex/2dd76506558b792d569cb71fd8265f683/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2024}, editor = {Kristensen, Lars Michael and van der Werf, Jan Martijn E. M.}, ee = {https://doi.org/10.1007/978-3-031-61433-0_14}, interhash = {396fba8b58dc0534aec46e02793e7789}, intrahash = {dd76506558b792d569cb71fd8265f683}, isbn = {978-3-031-61433-0}, keywords = {dblp}, pages = {291-311}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-24T07:23:08.000+0200}, title = {Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2024.html#GuillouSS24}, volume = 14628, year = 2024 }