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
2001
Lecture Notes in Computer Science
Volume 2028
pp.155–169
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.

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

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