Searching for "Rank-Based Symbolic Bisimulation (and Model Checking)." – 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.

Rank-Based Symbolic Bisimulation (and Model Checking)
by A. Dovier, R. Gentilini, C. Piazza, A. Policriti — 2002 — Proc. simulazionejournal.tex; 23/09/2002; 10:30; p.40 Coarsest Partition Problems 41 of Workshop on Language, Logic, Information, and Computation (Wollic'02), volume 67 of ENTCS
…://www.elsevier.nl/locate/entcs/volume67.html 18 pages Rank-Based Symbolic Bisimulation (and Model Checking) A. Dovier a;2 R. Gentilini…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 1.

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