{"_id":"4y4X26ugrAwKAGqxZ","bibbaseid":"conchon-delzanno-sangnier-ontheparameterizedverificationofabstractmodelsofcontacttracingprotocols-2021","author_short":["Conchon, S.","Delzanno, G.","Sangnier, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sylvain"],"propositions":[],"lastnames":["Conchon"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]},{"firstnames":["Arnaud"],"propositions":[],"lastnames":["Sangnier"],"suffixes":[]}],"editor":[{"firstnames":["Dario","Della"],"propositions":[],"lastnames":["Monica"],"suffixes":[]},{"firstnames":["Gian","Luca"],"propositions":[],"lastnames":["Pozzato"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Scala"],"suffixes":[]}],"title":"On the Parameterized Verification of Abstract Models of Contact Tracing Protocols","booktitle":"Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021","series":"CEUR Workshop Proceedings","volume":"2987","pages":"61–66","publisher":"CEUR-WS.org","year":"2021","url":"https://ceur-ws.org/Vol-2987/paper11.pdf","timestamp":"Fri, 10 Mar 2023 16:22:43 +0100","biburl":"https://dblp.org/rec/conf/gandalf/ConchonDS21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/gandalf/ConchonDS21,\n author = {Sylvain Conchon and\n Giorgio Delzanno and\n Arnaud Sangnier},\n editor = {Dario Della Monica and\n Gian Luca Pozzato and\n Enrico Scala},\n title = {On the Parameterized Verification of Abstract Models of Contact Tracing\n Protocols},\n booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal\n Verification, Logic, Automata, and Synthesis hosted by the Twelfth\n International Symposium on Games, Automata, Logics, and Formal Verification\n (GandALF 2021), Padua, Italy, September 22, 2021},\n series = {{CEUR} Workshop Proceedings},\n volume = {2987},\n pages = {61--66},\n publisher = {CEUR-WS.org},\n year = {2021},\n url = {https://ceur-ws.org/Vol-2987/paper11.pdf},\n timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},\n biburl = {https://dblp.org/rec/conf/gandalf/ConchonDS21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Conchon, S.","Delzanno, G.","Sangnier, A."],"editor_short":["Monica, D. D.","Pozzato, G. L.","Scala, E."],"key":"DBLP:conf/gandalf/ConchonDS21","id":"DBLP:conf/gandalf/ConchonDS21","bibbaseid":"conchon-delzanno-sangnier-ontheparameterizedverificationofabstractmodelsofcontacttracingprotocols-2021","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-2987/paper11.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/45/2701.bib","dataSources":["CNS5YERBRqLdN5aYr","7sjsfpwbZdJKfTRJa"],"keywords":[],"search_terms":["parameterized","verification","abstract","models","contact","tracing","protocols","conchon","delzanno","sangnier"],"title":"On the Parameterized Verification of Abstract Models of Contact Tracing Protocols","year":2021}