@inproceedings{Blahoudek2016,
    Address = {Berlin, Heidelberg},
    Author = {Blahoudek, Franti{\v{s}}ek and Heizmann, Matthias and Schewe, Sven and Strej{\v{c}}ek, Jan and Tsai, Ming-Hsien},
    BookTitle = {Proc. of TACAS'16},
    Editor = {Chechik, Marsha and Raskin, Jean-Fran{\c{c}}ois},
    File = {Complementing Semi-deterministic Büchi Automata - Blahoudek, Heizmann, Schewe, Strejcek, Tsai (0) (0) - a - a - e.pdf},
    ISBN = {978-3-662-49674-9},
    Pages = {770--787},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Complementing Semi-deterministic B{\"u}chi Automata},
    URL = {http://dx.doi.org/10.1007/978-3-662-49674-9\_49},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49674-9\_49},
    date-added = {2016-04-26 13:04:29 +0000},
    date-modified = {2016-04-26 13:05:03 +0000},
    doi = {10.1007/978-3-662-49674-9_49}
}

@inproceedings{Blahoudek2016, Address = {Berlin, Heidelberg}, Author = {Blahoudek, Franti{\v{s}}ek and Heizmann, Matthias and Schewe, Sven and Strej{\v{c}}ek, Jan and Tsai, Ming-Hsien}, BookTitle = {Proc. of TACAS'16}, Editor = {Chechik, Marsha and Raskin, Jean-Fran{\c{c}}ois}, File = {Complementing Semi-deterministic Büchi Automata - Blahoudek, Heizmann, Schewe, Strejcek, Tsai (0) (0) - a - a - e.pdf}, ISBN = {978-3-662-49674-9}, Pages = {770--787}, Publisher = {Springer Berlin Heidelberg}, Title = {Complementing Semi-deterministic B{\"u}chi Automata}, URL = {http://dx.doi.org/10.1007/978-3-662-49674-9_49}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49674-9_49}, date-added = {2016-04-26 13:04:29 +0000}, date-modified = {2016-04-26 13:05:03 +0000}, doi = {10.1007/978-3-662-49674-9_49} }