TY  - RPRT
TI  - Off-line test selection with test purposes for non-deterministic timed automata
AU  - Nathalie Bertrand
AU  - Thierry Jéron
AU  - Amélie Stainer
AU  - Moez Krichen
PY  - 2012
DO  - 10.2168/lmcs-8(4:8)2012
UR  - https://arxiv.org/abs/1207.6267
ID  - 1207.6267
ER  -