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]

Authors

Laure Gonnord

This author has not been identified. Look up 'Laure Gonnord' in Google

Nicolas Halbwachs

This author has not been identified. Look up 'Nicolas Halbwachs' in Google

Pascal Raymond

This author has not been identified. Look up 'Pascal Raymond' in Google