TY  - RPRT
TI  - A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
AU  - Shibashis Guha
AU  - Shankara Narayanan Krishna
AU  - Chinmay Narayan
AU  - S. Arun-Kumar
PY  - 2013
DO  - 10.4204/eptcs.120.5
UR  - https://arxiv.org/abs/1307.7443
ID  - 1307.7443
ER  -