Computing Publications

Publications Home » Abstraction-based model checking ...

Abstraction-based model checking using modal transition systems

Patrice Godefroid, Michael Huth, Radha Jagadeesan

Conference or Workshop Paper
CONCUR 2001 - concurrency theory: 12th international conference, Aalborg, Denmark, 20 - 25 August 2001
2001
Lecture Notes in Computer Science
Volume 2154
pp.426–440
Springer
ISBN 3-5404-2497-0
PDF of full publication (250 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.