Code Synthesis For Timed Automata
T. Amnell, E. Fersman, P. Pettersson, H. Sun, Y. Wang
Type
Journal paper [With referee]
Journal
Nordic Journal of Computing
Year
2002
No.
9
pp.
1-32
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering