TY  - RPRT
TI  - Timed k-Tail: Automatic Inference of Timed Automata
AU  - Fabrizio Pastore
AU  - Daniela Micucci
AU  - Leonardo Mariani
PY  - 2017
UR  - https://arxiv.org/abs/1705.08399
ID  - 1705.08399
ER  -