@inproceedings{inproceedings, title = {{Searching & Generating Discrete-Event Systems}}, publisher = {{SCITEPRESS - Science and Technology Publications}}, url = {{http://dx.doi.org/10.5220/0010584300002994 }}, year = {{2021}}, month = {{1}}, author = {{Helliwell T and Morgan B and Mahfouf M}}, doi = {{10.5220/0010584300002994}}, journal = {{Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics}}, note = {{Accessed on 2024/12/25}}}