@misc{indiciae3a180a20d2ff, title = {Polynomial Synthesis of Asynchronous Automata}, author = {Nicolas Baudru and Rémi Morin}, year = {2005}, url = {https://arxiv.org/abs/cs/0506096}, note = {Source identifier: cs/0506096} }