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.

Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation

Silvia Crafa, Francesco Ranzato. Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. In Luca Aceto, Monika Henzinger, Jiri Sgall, editors, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Volume 6756 of Lecture Notes in Computer Science, pages 295-306, Springer, 2011. [doi]

Authors

Silvia Crafa

This author has not been identified. Look up 'Silvia Crafa' in Google

Francesco Ranzato

This author has not been identified. Look up 'Francesco Ranzato' in Google
runs on