TY  - RPRT
TI  - Unfolding of Finite Concurrent Automata
AU  - Alexandre Mansard
PY  - 2018
DO  - 10.4204/eptcs.279.8
UR  - https://arxiv.org/abs/1810.02471
ID  - 1810.02471
ER  -