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.

Automated Verification Techniques for Probabilistic Systems

Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. Automated Verification Techniques for Probabilistic Systems. In Marco Bernardo, Valérie Issarny, editors, Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Volume 6659 of Lecture Notes in Computer Science, pages 53-113, Springer, 2011. [doi]

Abstract

Abstract is missing.

runs on