External Links

Cite Key

Statistics

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

PDF

Tags

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.

Symbolic Model Checking for Probabilistic Processes

Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan. Symbolic Model Checking for Probabilistic Processes. In Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, editors, Automata, Languages and Programming, 24th International Colloquium, ICALP 97, Bologna, Italy, 7-11 July 1997, Proceedings. Volume 1256 of Lecture Notes in Computer Science, pages 430-440, Springer, 1997.

Authors

Christel Baier

This author has not been identified. Look up 'Christel Baier' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google

Vassili Hartonas-Garmhausen

This author has not been identified. Look up 'Vassili Hartonas-Garmhausen' in Google

Marta Z. Kwiatkowska

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in Google

Mark Ryan

This author has not been identified. Look up 'Mark Ryan' in Google
runs on