On the language inclusion problem for timed automata: Closing a decidability gap (2004)

by J Ouaknine, J Worrell
Venue:In: Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004