20
IRUS Total
Downloads

Abstraction and refinement for model checking inconsistent systems

File Description SizeFormat 
abstraction-consistency-lattice.pdfAccepted version71.33 kBAdobe PDFView/Open
Title: Abstraction and refinement for model checking inconsistent systems
Authors: Huth, M
Pradhan, S
Item Type: Report
Issue Date: 31-May-2001
URI: http://hdl.handle.net/10044/1/5809
Publisher Link: http://www.cs.toronto.edu/~sme/IWLWI-01/
DOI: https://doi.org/10.25561/5809
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