%0 Journal Article %1 journals/corr/abs-2002-06737 %A Chen, Zhe %A Chen, Yunyun %A Hierons, Robert M. %A Wu, Yifan %D 2020 %J CoRR %K dblp %T Four-valued monitorability of ω-regular languages. %U http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-06737 %V abs/2002.06737

@article{journals/corr/abs-2002-06737, 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/23ffbc21bff72970969105c694b1e67d6/dblp}, ee = {https://arxiv.org/abs/2002.06737}, interhash = {e4841429d0916d335dbf4ab798acdb0d}, intrahash = {3ffbc21bff72970969105c694b1e67d6}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:37:44.000+0200}, title = {Four-valued monitorability of ω-regular languages.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-06737}, volume = {abs/2002.06737}, year = 2020 }