Searching for "Testing Hennessy-Milner Logic with Recursion." – 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.

Testing Hennessy-Milner Logic with Recursion
by Luca Aceto, Anna Ingólfsdóttir, Anna Ing Olfsd Ottir — 1998 — Foundations of Software Science and Computation Structures: Second International Conference, FoSSaCS ’99 Proceedings, LNCS
…BRICS RS-98-50 Aceto & Ing olfsd ottir: Testing Hennessy-Milner Logic with Recursion BRICS Basic…
Cited by 1 (0 self) – Add To MetaCart

BRICS Research Series, 1998.
by Brics, Mogens Nielsen, Christian N. S. Pedersen, Rune B. Lyngs, Jotun Hein Comparison — 1999
… Hennessy-Milner Logic with Recursion. December 1998. 15 pp. Appears in Thomas, editor, Foundations…
Add To MetaCart

Showing 1 through 2.

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