Computing Publications

Publications Home » Lifting assertion and consistency...

Lifting assertion and consistency checkers from single to multiple models

Michael Huth, Shekhar Pradhan

Technical Report

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
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.