TY - CONF T1 - Four-valued monitorability of 蠅-regular languages JO - Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings PY - 2020/12/19 AU - Chen Z AU - Chen Y AU - Hierons RM AU - Wu Y ED - DO - DOI: 10.1007/978-3-030-63406-3_12 PB - Springer International Publishing SN - 9783030634056 SP - 198 EP - 214 Y2 - 2025/04/13 ER -