Abstraction and refinement for model checking inconsistent systems

File Description SizeFormat 
abstraction-consistency-lattice.pdfAccepted version71.33 kBAdobe PDFDownload
Title: Abstraction and refinement for model checking inconsistent systems
Author(s): Huth, M
Pradhan, S
Item Type: Report
Publication Date: 31-May-2001
URI: http://hdl.handle.net/10044/1/5809
Publisher Link: http://www.cs.toronto.edu/~sme/IWLWI-01/
ISBN: 0-7695-1050-7
Publisher: University of Toronto
Start Page: 1
End Page: 2
Copyright Statement: © The Authors
Appears in Collections:Quantitative Analysis and Decision Science



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons