Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth. Assume-Guarantee Model Checking of Software: A Comparative Case Study. In Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink, editors, Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings. Volume 1680 of Lecture Notes in Computer Science, pages 168-183, Springer, 1999. [doi]
@inproceedings{PasareanuDH99,
title = {Assume-Guarantee Model Checking of Software: A Comparative Case Study},
author = {Corina S. Pasareanu and Matthew B. Dwyer and Michael Huth},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1680/16800168.htm},
tags = {case study, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/PasareanuDH99},
cites = {0},
citedby = {0},
pages = {168-183},
booktitle = {Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings},
editor = {Dennis Dams and Rob Gerth and Stefan Leue and Mieke Massink},
volume = {1680},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66499-8},
}