## A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper

*The Complementation Problem for Büchi Automata with Applications to Temporal Logic*

ICALP, 1985.

@inproceedings{ICALP-1985-SistlaVW, author = "A. Prasad Sistla and Moshe Y. Vardi and Pierre Wolper", booktitle = "{Proceedings of the 12th Colloquium on Automata, Languages and Programming}", doi = "10.1007/BFb0015772", isbn = "3-540-15650-X", pages = "465--474", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Complementation Problem for Büchi Automata with Applications to Temporal Logic}", volume = 194, year = 1985, }