TY  - RPRT
TI  - ATAC: A Tool for Automating Timed Automata Construction
AU  - Beyazit Yalcinkaya
AU  - Ebru Aydin Gol
PY  - 2020
UR  - https://arxiv.org/abs/1905.08169
ID  - 1905.08169
ER  -