Computing Publications

Publications Home » Lifting assertion and consistency...

Lifting assertion and consistency checkers from single to multiple models

Michael Huth, Shekhar Pradhan

Technical Report
2002
Notes

Technical Report 2002/11, Department of Computing, Imperial College London

PDF of full publication (211 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

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