Computing Publications

Publications Home » Modal transition systems: a found...

Modal transition systems: a foundation for three-valued program analysis

Michael Huth, Radha Jagadeesan, S Schmidt

Conference or Workshop Paper
Programming languages and systems, proceedings
Lecture Notes in Computer Science
Volume 2028
Springer Verlag
ISBN 3-5404-1862-8
PDF of full publication (289 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF document is a preliminary version only.

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