TY  - RPRT
TI  - Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
AU  - Davide Bresolin
AU  - Khaled El-Fakih
AU  - Tiziano Villa
AU  - Nina Yevtushenko
PY  - 2014
DO  - 10.4204/eptcs.161.18
UR  - https://arxiv.org/abs/1408.5967
ID  - 1408.5967
ER  -