Code synthesis for timed automata (0)

by T Amnell, E Fersman, P Pettersson, H Sun, W Yi
Venue:Nordic J. Comput