Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking



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 ORCID: 0000-0002-0875-3862
(2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. .

[img] Text
QEST17.pdf - Accepted Version

Download (384kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 06 Jul 2017 13:09
Last Modified: 11 Aug 2022 11:27
DOI: 10.1007/978-3-319-66335-7_14
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3008343