A Logical Characterisation of Event Clock Automata

Deepak D Souza. A Logical Characterisation of Event Clock Automata. Int. J. Found. Comput. Sci., 14(4):625-640, 2003. [doi]

Abstract

Abstract is missing.