Epsilon-transitions in Concurrent Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini. Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett., 89(1):1-7, 2004. [doi]

Abstract

Abstract is missing.