Computing Publications

Publications Home » A Unifying Framework for Model Ch...

A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems

Michael Huth

Conference or Workshop Paper
19th International Conference on the Foundations of Software Technology & Theoretical Computer Science
Lecture Notes in Computer Science
Volume 1738
Springer Verlag
ISBN 3-5406-6836-5
PDF of full publication (239 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF document is preliminary version only.

Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.