Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Abstraction and refinement for model checking inconsistent systems
File(s)
Author(s)
Huth, M
Pradhan, S
Type
Report
Date Issued
2001-05
Citation
2001, pp.1-2
URI
URL
DOI
ISBN
0-7695-1050-7
Publisher
University of Toronto
Start Page
1
End Page
2
Copyright Statement
© The Authors
License URL