Folk theorems on the determinization and minimization of timed automata.

Stavros Tripakis Folk theorems on the determinization and minimization of timed automata. 222-226 2006 99 Inf. Process. Lett. 6 http://dx.doi.org/10.1016/j.ipl.2006.04.015 db/journals/ipl/ipl99.html#Tripakis06