TY  - RPRT
TI  - Decomposition of transition systems into sets of synchronizing state machines
AU  - Viktor Teren
AU  - Jordi Cortadella
AU  - Tiziano Villa
PY  - 2022
UR  - https://arxiv.org/abs/2106.13852
ID  - 2106.13852
ER  -