Timed Systems through the Lens of Logic.

S. Akshay, Paul Gastin, Vincent Jug, Shankara Narayanan Krishna

Browse the full LICS paper archive.