@inproceedings{inproceedings, title = {{Four-valued monitorability of 蠅-regular languages}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2020}}, month = {{12}}, author = {{Chen Z and Chen Y and Hierons RM and Wu Y}}, doi = {{10.1007/978-3-030-63406-3_12}}, isbn = {{9783030634056}}, journal = {{Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings}}, pages = {{198-214}}, note = {{Accessed on 2025/05/22}}}