MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Fast Bisimulation Algorithm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • A Fast Bisimulation Algorithm  
  • by Agostino Dovier, Carla Piazza — 2000 — PROC. OF INT. CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV’01), VOLUME 2102 OF LNCS
  • …A Fast Bisimulation Algorithm Agostino Dovier 1 , Carla Piazza 2 , and Alberto Policriti 2 1…
  • Cited by 20 (13 self) – Add To MetaCart
  • A Fast Bisimulation Algorithm: tests  
  • by Agostino Dovier, Carla Piazza, Alberto Policriti, Nadia Ugel
  • …A Fast Bisimulation Algorithm: tests Agostino Dovier 1 , Carla Piazza 2 , Alberto Policriti 2…
  • Add To MetaCart
  • 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
  • …,4,13] and in the symbolic [5] case. In [9] the notion of rank has been introduced to develop a fast bisimulation algorithm…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB