Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In Nathalie Bertrand 0001, Luca Bortolussi, editors, Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Volume 10503 of Lecture Notes in Computer Science, pages 224-239, Springer, 2017. [doi]
Abstract is missing.