Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Gainer, P, Linker, S ORCID: 0000-0003-2913-7943, Dixon, C ORCID: 0000-0002-4610-9533, Hustadt, U ORCID: 0000-0002-0455-0267 and Fisher, M ORCID: 0000-0002-0875-3862
(2017) Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking. In: 14th International Conference on Quantitative Evaluation of SysTems (QEST), 2017-09-05 - 2017-09-07, Berlin, Germany.


Linker, S ORCID: 0000-0003-2913-7943
(2017) Spatial Reasoning about Motorway Traffic Safety with Isabelle/HOL. In: integrated Formal Methods 2017, 2017-09-20 - 2017-09-22, Turin, Italy.

This list was generated on Sun May 24 00:35:15 2020 BST.