TY - GEN T1 - Design of asynchronous supervisors T2 - arXiv PY - 2009/10/05 AU - Beohar H AU - Cuijpers P AU - Baeten J ED - DO - DOI: 10.48550/arxiv.0910.0868 Y2 - 2024/12/22 ER -