%0 Journal Article %1 journals/tcs/SistlaVW87 %A Sistla, A. Prasad %A Vardi, Moshe Y. %A Wolper, Pierre %D 1987 %J Theor. Comput. Sci. %K dblp %P 217-237 %T The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tcs/tcs49.html#SistlaVW87 %V 49

@article{journals/tcs/SistlaVW87, added-at = {2024-02-05T00:00:00.000+0100}, author = {Sistla, A. Prasad and Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2943ad3b854bb9ad58987aa15dd430f86/dblp}, ee = {https://doi.org/10.1016/0304-3975(87)90008-9}, interhash = {cce49d9faf6b718addccc09457a336d5}, intrahash = {943ad3b854bb9ad58987aa15dd430f86}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {217-237}, timestamp = {2024-04-08T18:48:46.000+0200}, title = {The Complementation Problem for Büchi Automata with Appplications to Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs49.html#SistlaVW87}, volume = 49, year = 1987 }