Searching for "Monodic ASMs and Temporal Verification." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Monodic ASMs and temporal verification, in
by Michael Fisher, Alexei Lisitsa — 2004 — Proceedings ASM 2004
…Monodic ASMs and Temporal Verification ⋆ Michael Fisher and Alexei Lisitsa Department of Computer…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

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