Model Checking Communication Protocols. Argón, P., Delzanno, G., Mukhopadhyay, S., & Podelski, A. In Pacholski, L. & Ruzicka, P., editors, 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, volume 2234, of Lecture Notes in Computer Science, pages 160–170, 2001. Springer.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}