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.