%0 Conference Paper %1 conf/csl/FogartyKVW11 %A Fogarty, Seth %A Kupferman, Orna %A Vardi, Moshe Y. %A Wilke, Thomas %B CSL %D 2011 %E Bezem, Marc %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 248-263 %T Unifying Büchi Complementation Constructions. %U http://dblp.uni-trier.de/db/conf/csl/csl2011.html#FogartyKVW11 %V 12 %@ 978-3-939897-32-3

@inproceedings{conf/csl/FogartyKVW11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/253fbf0c3977f9ff4be245f33bb4d1833/dblp}, booktitle = {CSL}, crossref = {conf/csl/2011}, editor = {Bezem, Marc}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2011.248}, interhash = {faff6f0cf98c67f36d5121d110fbb2d6}, intrahash = {53fbf0c3977f9ff4be245f33bb4d1833}, isbn = {978-3-939897-32-3}, keywords = {dblp}, pages = {248-263}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:51:04.000+0100}, title = {Unifying Büchi Complementation Constructions.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2011.html#FogartyKVW11}, volume = 12, year = 2011 }