@inproceedings{DBLP:conf/sofsem/ArgonDMP01,
  author       = {Pablo Arg{\'{o}}n and
                  Giorgio Delzanno and
                  Supratik Mukhopadhyay and
                  Andreas Podelski},
  editor       = {Leszek Pacholski and
                  Peter Ruzicka},
  title        = {Model Checking Communication Protocols},
  booktitle    = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
                  on Current Trends in Theory and Practice of Informatics Piestany,
                  Slovak Republic, November 24 - December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2234},
  pages        = {160--170},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45627-9\_13},
  doi          = {10.1007/3-540-45627-9\_13},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/ArgonDMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"5fJuWWvEdcm58fpCT","bibbaseid":"argn-delzanno-mukhopadhyay-podelski-modelcheckingcommunicationprotocols-2001","author_short":["Argón, P.","Delzanno, G.","Mukhopadhyay, S.","Podelski, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pablo"],"propositions":[],"lastnames":["Argón"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]},{"firstnames":["Supratik"],"propositions":[],"lastnames":["Mukhopadhyay"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Podelski"],"suffixes":[]}],"editor":[{"firstnames":["Leszek"],"propositions":[],"lastnames":["Pacholski"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Ruzicka"],"suffixes":[]}],"title":"Model Checking Communication Protocols","booktitle":"SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings","series":"Lecture Notes in Computer Science","volume":"2234","pages":"160–170","publisher":"Springer","year":"2001","url":"https://doi.org/10.1007/3-540-45627-9\\_13","doi":"10.1007/3-540-45627-9_13","timestamp":"Tue, 14 May 2019 10:00:44 +0200","biburl":"https://dblp.org/rec/conf/sofsem/ArgonDMP01.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sofsem/ArgonDMP01,\n author = {Pablo Arg{\\'{o}}n and\n Giorgio Delzanno and\n Supratik Mukhopadhyay and\n Andreas Podelski},\n editor = {Leszek Pacholski and\n Peter Ruzicka},\n title = {Model Checking Communication Protocols},\n booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference\n on Current Trends in Theory and Practice of Informatics Piestany,\n Slovak Republic, November 24 - December 1, 2001, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2234},\n pages = {160--170},\n publisher = {Springer},\n year = {2001},\n url = {https://doi.org/10.1007/3-540-45627-9\\_13},\n doi = {10.1007/3-540-45627-9\\_13},\n timestamp = {Tue, 14 May 2019 10:00:44 +0200},\n biburl = {https://dblp.org/rec/conf/sofsem/ArgonDMP01.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Argón, P.","Delzanno, G.","Mukhopadhyay, S.","Podelski, A."],"editor_short":["Pacholski, L.","Ruzicka, P."],"key":"DBLP:conf/sofsem/ArgonDMP01","id":"DBLP:conf/sofsem/ArgonDMP01","bibbaseid":"argn-delzanno-mukhopadhyay-podelski-modelcheckingcommunicationprotocols-2001","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-45627-9\\_13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/d/GDelzanno.bib","dataSources":["CNS5YERBRqLdN5aYr"],"keywords":[],"search_terms":["model","checking","communication","protocols","argón","delzanno","mukhopadhyay","podelski"],"title":"Model Checking Communication Protocols","year":2001}