Computing Publications

Publications Home » Model checking modal transition s...

Model checking modal transition systems using Kripke structures

Michael Huth

Conference or Workshop Paper
Verification, model checking, and abstract interpretation: 3rd international workshop, VMCAI 2002, Venice, Italy, 21 - 22 January 2002
2002
Lecture Notes in Computer Science
Volume 2294
pp.302–316
Springer Verlag
ISBN 3-5404-3631-6
PDF of full publication (249 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.