@incollection{loeding12,
    Author = {Breuers, Stefan and L{\"o}ding, Christof and Olschewski, J{\"o}rg},
    BookTitle = {Proc. of FOSSACS'12},
    Editor = {Birkedal, Lars},
    File = {Improved Ramsey-Based Büchi Complementation - Breuers, Löding, Olschewski (1) (0) - a - a - g.pdf},
    ISBN = {978-3-642-28728-2},
    Keywords = {complementation of B{\"u}chi automata},
    Pages = {150-164},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Improved Ramsey-Based B{\"u}chi Complementation},
    URL = {http://dx.doi.org/10.1007/978-3-642-28729-9\_10},
    Volume = {7213},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28729-9\_10},
    date-added = {2013-05-29 15:43:43 +0000},
    date-modified = {2014-05-13 14:29:17 +0000},
    file-2 = {Improved Ramsey-Based Büchi Complementation - Breuers, Löding, Olschewski (0) (0) - a - a - g.pdf},
    doi = {10.1007/978-3-642-28729-9_10}
}

@incollection{loeding12, Author = {Breuers, Stefan and L{\"o}ding, Christof and Olschewski, J{\"o}rg}, BookTitle = {Proc. of FOSSACS'12}, Editor = {Birkedal, Lars}, File = {Improved Ramsey-Based Büchi Complementation - Breuers, Löding, Olschewski (1) (0) - a - a - g.pdf}, ISBN = {978-3-642-28728-2}, Keywords = {complementation of B{\"u}chi automata}, Pages = {150-164}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Improved Ramsey-Based B{\"u}chi Complementation}, URL = {http://dx.doi.org/10.1007/978-3-642-28729-9_10}, Volume = {7213}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-28729-9_10}, date-added = {2013-05-29 15:43:43 +0000}, date-modified = {2014-05-13 14:29:17 +0000}, file-2 = {Improved Ramsey-Based Büchi Complementation - Breuers, Löding, Olschewski (0) (0) - a - a - g.pdf}, doi = {10.1007/978-3-642-28729-9_10} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge