@inproceedings{DBLP:conf/gandalf/ConchonDS21,
  author       = {Sylvain Conchon and
                  Giorgio Delzanno and
                  Arnaud Sangnier},
  editor       = {Dario Della Monica and
                  Gian Luca Pozzato and
                  Enrico Scala},
  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}
}

{"_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}