![](/img/cover-not-exists.png)
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - A Kleene theorem for timed automata
Asarin, E., Caspi, P., Maler, O.Year:
1997
Language:
english
DOI:
10.1109/LICS.1997.614944
File:
PDF, 943 KB
english, 1997