%0 Conference Paper %1 conf/tacas/BlahoudekHSST16 %A Blahoudek, Frantisek %A Heizmann, Matthias %A Schewe, Sven %A Strejcek, Jan %A Tsai, Ming-Hsien %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K %P 770-787 %T Complementing Semi-deterministic Büchi Automata. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlahoudekHSST16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/BlahoudekHSST16, added-at = {2023-12-13T01:36:52.000+0100}, author = {Blahoudek, Frantisek and Heizmann, Matthias and Schewe, Sven and Strejcek, Jan and Tsai, Ming-Hsien}, biburl = {https://www.bibsonomy.org/bibtex/2c3a0dfa047250f0eaa50e6fa23abf61f/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_49}, interhash = {73fe6296b5c89e20e9081247342344bc}, intrahash = {c3a0dfa047250f0eaa50e6fa23abf61f}, isbn = {978-3-662-49673-2}, keywords = {}, pages = {770-787}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:36:52.000+0100}, title = {Complementing Semi-deterministic Büchi Automata.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlahoudekHSST16}, volume = 9636, year = 2016 }