TY  - RPRT
TI  - The language preservation problem is undecidable for parametric event-recording automata
AU  - Étienne André
AU  - Shang-Wei Lin
PY  - 2018
DO  - 10.1016/j.ipl.2018.03.013
UR  - https://arxiv.org/abs/1812.08948
ID  - 1812.08948
ER  -