%0 Conference Paper %1 conf/concur/HavlenaL21 %A Havlena, Vojtech %A Lengál, Ondrej %B CONCUR %D 2021 %E Haddad, Serge %E Varacca, Daniele %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 2:1-2:19 %T Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. %U http://dblp.uni-trier.de/db/conf/concur/concur2021.html#HavlenaL21 %V 203 %@ 978-3-95977-203-7

@inproceedings{conf/concur/HavlenaL21, added-at = {2021-08-13T00:00:00.000+0200}, author = {Havlena, Vojtech and Lengál, Ondrej}, biburl = {https://www.bibsonomy.org/bibtex/2aadf335a6a9a4de7dde8a70c1ecf3290/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2021}, editor = {Haddad, Serge and Varacca, Daniele}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.2}, interhash = {43c547ce71052e544b4b81bc0c850f31}, intrahash = {aadf335a6a9a4de7dde8a70c1ecf3290}, isbn = {978-3-95977-203-7}, keywords = {dblp}, pages = {2:1-2:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:47:46.000+0200}, title = {Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2021.html#HavlenaL21}, volume = 203, year = 2021 }