From Timed Automata to Logic - and Back.

Franois Laroussinie, Kim Guldstrand Larsen, Carsten Weise

Browse the full MFCS paper archive.