Logics Meet 1-Clock Alternating Timed Automata.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Browse the full CONCUR paper archive.