TY  - RPRT
TI  - Testing Membership for Timed Automata
AU  - Richard Lassaigne
AU  - Michel de Rougemont
PY  - 2023
UR  - https://arxiv.org/abs/1912.08277
ID  - 1912.08277
ER  -