%0 Conference Paper %1 conf/cilc/Delzanno18 %A Delzanno, Giorgio %B CILC %D 2018 %E Felli, Paolo %E Montali, Marco %I CEUR-WS.org %K dblp %P 97-111 %T Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. %U http://dblp.uni-trier.de/db/conf/cilc/cilc2018.html#Delzanno18 %V 2214

@inproceedings{conf/cilc/Delzanno18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Delzanno, Giorgio}, biburl = {https://www.bibsonomy.org/bibtex/2638814dff258d63527ef16f969255584/dblp}, booktitle = {CILC}, crossref = {conf/cilc/2018}, editor = {Felli, Paolo and Montali, Marco}, ee = {https://ceur-ws.org/Vol-2214/paper11.pdf}, interhash = {2ea5b36793d41a15b6edf7279e434565}, intrahash = {638814dff258d63527ef16f969255584}, keywords = {dblp}, pages = {97-111}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T13:16:16.000+0200}, title = {Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/cilc/cilc2018.html#Delzanno18}, volume = 2214, year = 2018 }