%0 Conference Paper %1 conf/icfem/ChenCHW20 %A Chen, Zhe %A Chen, Yunyun %A Hierons, Robert M. %A Wu, Yifan %B ICFEM %D 2020 %E Lin, Shang-Wei %E Hou, Zhe %E Mahony, Brendan P. %I Springer %K dblp %P 198-214 %T Four-Valued Monitorability of ømega-Regular Languages. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2020.html#ChenCHW20 %V 12531 %@ 978-3-030-63406-3

@inproceedings{conf/icfem/ChenCHW20, added-at = {2024-02-28T00:00:00.000+0100}, author = {Chen, Zhe and Chen, Yunyun and Hierons, Robert M. and Wu, Yifan}, biburl = {https://www.bibsonomy.org/bibtex/2af0703b9145281470b854469f4f09aa6/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2020}, editor = {Lin, Shang-Wei and Hou, Zhe and Mahony, Brendan P.}, ee = {https://doi.org/10.1007/978-3-030-63406-3_12}, interhash = {567663718376fd7dcfeafc550da2ce4e}, intrahash = {af0703b9145281470b854469f4f09aa6}, isbn = {978-3-030-63406-3}, keywords = {dblp}, pages = {198-214}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:41.000+0200}, title = {Four-Valued Monitorability of ømega-Regular Languages.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2020.html#ChenCHW20}, volume = 12531, year = 2020 }