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.

Parameterized Verification of Many Identical Probabilistic Timed Processes

Nathalie Bertrand, Paulin Fournier. Parameterized Verification of Many Identical Probabilistic Timed Processes. In Anil Seth, Nisheeth K. Vishnoi, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. Volume 24 of LIPIcs, pages 501-513, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Authors

Nathalie Bertrand

This author has not been identified. Look up 'Nathalie Bertrand' in Google

Paulin Fournier

This author has not been identified. Look up 'Paulin Fournier' in Google
runs on