An Algebraic Approach for TAL-Freeness Detection: An Algebraic Approach for TAL-Freeness Detection

[1]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..