Browse by People

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

Linker, S, Papacchini, F ORCID: 0000-0002-0310-7378 and Sevegnani, M
(2021) Finite Models for a Spatial Logic with Discrete and Topological Path Operators. .

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

This list was generated on Fri May 12 06:08:13 2023 BST.