Follow
Decomposition of transition systems into sets of synchronizing state machines. (arXiv:2106.13852v1 [cs.FL]) http://arxiv.org/abs/2106.13852
Decomposition of transition systems into sets of synchronizing state machines. (arXiv:2106.13852v1 [cs.FL]) http://arxiv.org/abs/2106.13852