Searching for "Modal Transition Systems A Foundation for Three-Valued Program Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Modal Transition Systems: A Foundation for Three-Valued Program Analysis
by Michael Huth, Radha Jagadeesan, David A. Schmidt — 2000
…Modal transition systems: a foundation for three-valued program analysis Michael Huth ? , Radha…
Cited by 57 (11 self) – Add To MetaCart

Modal transition systems: a foundation for
by Michael Huth, Radha Jagadeesan, David Schmidt
… Modal transition systems: a foundation for three-valued program analysis Michael Huth1, Radha…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB