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.

APEX: An Analyzer for Open Probabilistic Programs

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell. APEX: An Analyzer for Open Probabilistic Programs. In P. Madhusudan, Sanjit A. Seshia, editors, Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Volume 7358 of Lecture Notes in Computer Science, pages 693-698, Springer, 2012. [doi]

Authors

Stefan Kiefer

This author has not been identified. Look up 'Stefan Kiefer' in Google

Andrzej S. Murawski

This author has not been identified. Look up 'Andrzej S. Murawski' in Google

Joël Ouaknine

This author has not been identified. Look up 'Joël Ouaknine' in Google

Björn Wachter

This author has not been identified. Look up 'Björn Wachter' in Google

James Worrell

This author has not been identified. Look up 'James Worrell' in Google
runs on