TY  - RPRT
TI  - Fly-automata, model-checking and recognizability
AU  - Bruno Courcelle
AU  - Irène A. Durand
PY  - 2014
UR  - https://arxiv.org/abs/1409.5368
ID  - 1409.5368
ER  -