MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Refining the Undecidability Border of Weak Bisimilarity." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Refining the undecidability border of weak bisimilarity  
  • by Vojtěch Rehák, Jan Strejček — 2006 — In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY’05), volume 149 of ENTCS
  • …Refining the Undecidability Border of Weak Bisimilarity Mojmír Kˇretínsk´y 1 Vojtěch ˇ Rehák 2 Jan…
  • Cited by 1 (0 self) – Add To MetaCart
  • Basic Research in Computer Science  
  • by Verification Of Infinite-State, Scott A. Smolka, Copyright C, Scott A. Smolka — 909
  • … Contributed Papers Refining Undecidability Border of Weak Bisimilarity…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB