@inproceedings{EPTCS161.12,
    Author = {Bruse, Florian and Falk, Michael and Lange, Martin},
    BookTitle = {{\rm Proceedings Fifth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Verona, Italy, 10th - 12th September 2014}},
    Editor = {Peron, Adriano and Piazza, Carla},
    File = {The Fixpoint-Iteration Algorithm for Parity Games - Bruse, Falk, Lange (0) (0) - a - a - v.pdf},
    Pages = {116-130},
    Publisher = {Open Publishing Association},
    Series = {Electronic Proceedings in Theoretical Computer Science},
    Title = {The Fixpoint-Iteration Algorithm for Parity Games},
    Volume = {161},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.161.12},
    date-added = {2014-12-11 12:49:06 +0000},
    date-modified = {2014-12-11 12:49:06 +0000},
    doi = {10.4204/EPTCS.161.12}
}

@inproceedings{EPTCS161.12, Author = {Bruse, Florian and Falk, Michael and Lange, Martin}, BookTitle = {{\rm Proceedings Fifth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Verona, Italy, 10th - 12th September 2014}}, Editor = {Peron, Adriano and Piazza, Carla}, File = {The Fixpoint-Iteration Algorithm for Parity Games - Bruse, Falk, Lange (0) (0) - a - a - v.pdf}, Pages = {116-130}, Publisher = {Open Publishing Association}, Series = {Electronic Proceedings in Theoretical Computer Science}, Title = {The Fixpoint-Iteration Algorithm for Parity Games}, Volume = {161}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.4204/EPTCS.161.12}, date-added = {2014-12-11 12:49:06 +0000}, date-modified = {2014-12-11 12:49:06 +0000}, doi = {10.4204/EPTCS.161.12} }