Timed Automata with non-Instantaneous Actions

Roberto Barbuti, Nicoletta De Francesco, Luca Tesei. Timed Automata with non-Instantaneous Actions. Fundamenta Informaticae, 47(3-4):189-200, 2001.

Abstract

Abstract is missing.