Searching for "Model Checking Fixed Point Logic with Chop." – 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.

Model Checking Fixed Point Logic with Chop
by Martin Lange And, Martin Lange, Colin Stirling — 2002 — Proc. 5th Conf. on Foundations of Software Science and Computation Structures, FOSSACS’02, volume 2303 of LNCS
…Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory…
Add To MetaCart

Model Checking Fixed Point Logic with Chop
by Martin Lange, Colin Stirling — 2002 — Proc. 5th Conf. on Foundations of Software Science and Computation Structures, FOSSACS’02, volume 2303 of LNCS
…Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory…
Cited by 9 (7 self) – Add To MetaCart

Showing 1 through 2.

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