Browse by People


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


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.


Linker, S ORCID: 0000-0003-2913-7943 and Sevegnani, Michele
(2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society of London. Series A, Mathematical and physical sciences.

This list was generated on Wed Nov 20 17:28:21 2019 GMT.