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.
Model Checking Communication Protocols [link]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