Computing Publications

Publications Home » Assume-Guarantee Model Checking o...

Assume-Guarantee Model Checking of Software: A Comparative Case Study

Corina Pasareanu, Matthew B. Dwyer, Michael Huth

Conference or Workshop Paper
6th International SPIN Workshop on Practical Aspects of Model Checking
1999
Lecture Notes in Computer Science
Volume 1680
pp.168–183
Springer Verlag
ISBN 3-540-66499-8
PDF of full publication (267 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF is a preliminary version only.

N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.