Publicationsshelley2024-07-29T13:30:35+00:00

Publications & Reports

Perdita Stevens.

Softw Syst Model 19, 935–958, 2020. 2020

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, and Yong Kiam Tan.

Journal of Automated Reasoning, 64, 1287–1306, 2020. 2020

Andrea Giugliano.

PhD Thesis, University of Leicester. 2018

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke.

History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.

Filter by