A Logical Characterization of Timed (non-)Regular Languages.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Browse the full MFCS paper archive.