Updatable Timed Automata with Additive and Diagonal Constraints.

Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj

Browse the full CiE paper archive.