%0 Conference Paper %1 conf/birthday/JurdzinskiMT22 %A Jurdzinski, Marcin %A Morvan, Rémi %A Thejaswini, K. S. %B Principles of Systems Design %D 2022 %E Raskin, Jean-François %E Chatterjee, Krishnendu %E Doyen, Laurent %E Majumdar, Rupak %I Springer %K dblp %P 252-271 %T Universal Algorithms for Parity Games and Nested Fixpoints. %U http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#JurdzinskiMT22 %V 13660 %@ 978-3-031-22337-2

@inproceedings{conf/birthday/JurdzinskiMT22, added-at = {2023-01-31T00:00:00.000+0100}, author = {Jurdzinski, Marcin and Morvan, Rémi and Thejaswini, K. S.}, biburl = {https://www.bibsonomy.org/bibtex/226320bf06a8f449cb07bab1bbace3d59/dblp}, booktitle = {Principles of Systems Design}, crossref = {conf/birthday/2022henzinger}, editor = {Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-031-22337-2_12}, interhash = {57bdcda06ffb99be1dcd9f9fdd37b0a1}, intrahash = {26320bf06a8f449cb07bab1bbace3d59}, isbn = {978-3-031-22337-2}, keywords = {dblp}, pages = {252-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:49.000+0200}, title = {Universal Algorithms for Parity Games and Nested Fixpoints.}, url = {http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#JurdzinskiMT22}, volume = 13660, year = 2022 }