MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Testing Hennessy-Milner Logic with Recursion." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • 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
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB