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

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