Computing Publications

Publications Home » Abstraction and refinement for mo...

Abstraction and refinement for model checking inconsistent systems

Michael Huth, Shekhar Pradhan

Position Paper
May, 2001
University of Toronto
Notes

Position paper for the Second International Workshop on Living with Inconsistencies; presented on 13 May 2001, in Toronto, Canada.

PDF of full publication (71 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.