@inproceedings{AMC97,
title = {A {K}leene Theorem for Timed Automata },
author = {Asarin, Eugene and Maler, Oded and Caspi, Paul},
year = {1997},
booktitle = {Proc. Logic in Computer Science, LICS'97},
pages = {160-171},
publisher = {IEEE},
team = {SYNC},
}
