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]
No reviews for this publication, yet.