External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decision Algorithms for Probabilistic Bisimulation

Stefano Cattani, Roberto Segala. Decision Algorithms for Probabilistic Bisimulation. In Lubos Brim, Petr Jancar, Mojmír Kretínský, Antonín Kucera, editors, CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings. Volume 2421 of Lecture Notes in Computer Science, pages 371-385, Springer, 2002. [doi]

Authors

Stefano Cattani

This author has not been identified. Look up 'Stefano Cattani' in Google

Roberto Segala

This author has not been identified. Look up 'Roberto Segala' in Google
runs on