Publication

[HavlenaLLST23] Modular Mix-and-Match Complementation of Büchi Automata Havlena, V.; Lengál, O.; Li, Y.; Šmahl'iková, B. and Turrini, A. In TACAS, LNCS , 2023.
Downloads: bib