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.

Finite Approximation of LMPs for Exact Verification of Reachability Properties

Gildas Kouko, Josée Desharnais, François Laviolette. Finite Approximation of LMPs for Exact Verification of Reachability Properties. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 70-87, Springer, 2019. [doi]

Authors

Gildas Kouko

This author has not been identified. Look up 'Gildas Kouko' in Google

Josée Desharnais

This author has not been identified. Look up 'Josée Desharnais' in Google

François Laviolette

This author has not been identified. Look up 'François Laviolette' in Google
runs on