Up a level |
Number of items: 1.
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2017)
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
In: 14th International Conference on Quantitative Evaluation of SysTems (QEST), 2017-9-5 - 2017-9-7, Berlin, Germany.