Timed Automata and Recognizability

Philippe Herrmann. Timed Automata and Recognizability. Inf. Process. Lett., 65(6):313-318, 1998. [doi]

Abstract

Abstract is missing.