From Discrete Duration Calculus to Symbolic Automata

Laure Gonnord, Nicolas Halbwachs, Pascal Raymond. From Discrete Duration Calculus to Symbolic Automata. Electronic Notes in Theoretical Computer Science, 153(4):3-18, 2006. [doi]

Abstract

Abstract is missing.