%0 Conference Paper %1 conf/icalp/SistlaVW85 %A Sistla, A. Prasad %A Vardi, Moshe Y. %A Wolper, Pierre %B ICALP %D 1985 %E Brauer, Wilfried %I Springer %K dblp %P 465-474 %T The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/icalp/icalp85.html#SistlaVW85 %V 194 %@ 3-540-15650-X

@inproceedings{conf/icalp/SistlaVW85, 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/2f91fc10363a1a328469677f3c4303ec0/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1985}, editor = {Brauer, Wilfried}, ee = {https://doi.org/10.1007/BFb0015772}, interhash = {39384c9030679d7bb6d9266ed01c8def}, intrahash = {f91fc10363a1a328469677f3c4303ec0}, isbn = {3-540-15650-X}, keywords = {dblp}, pages = {465-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:00:36.000+0200}, title = {The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp85.html#SistlaVW85}, volume = 194, year = 1985 }