Daniel Bundala (Oxford)

Timed Automata and Verification