Computing Publications

Publications Home » Some current issues in model checking

Some current issues in model checking

Michael Huth

Journal Article
Software Tools for Technology Transfer
Volume 8
Issue 4
pp.1–10
2006
Springer Verlag
PDF of full publication (182 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF document is preliminary version only.

N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.