The complementation problem for Büchi automata with applications to temporal logic
Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 465-474 (1985)] in Zbl 0577.03019.
scientific article; zbMATH DE number 3991485
scientific article