Publication

[LiTTVZ21] Congruence Relations for Büchi Automata Li, Y.; Tsay, Y.-K.; Turrini, A.; Vardi, M. Y. and Zhang, L. In FM, pages 465-482, Springer, Lecture Notes in Computer Science 13047, 2021.
Downloads: bib