%0 Journal Article %1 journals/corr/abs-2010-08288 %A Jurdzinski, Marcin %A Morvan, Rémi %A Ohlmann, Pierre %A Thejaswini, K. S. %D 2020 %J CoRR %K dblp %T A symmetric attractor-decomposition lifting algorithm for parity games. %U http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-08288 %V abs/2010.08288

@article{journals/corr/abs-2010-08288, added-at = {2020-10-21T00:00:00.000+0200}, author = {Jurdzinski, Marcin and Morvan, Rémi and Ohlmann, Pierre and Thejaswini, K. S.}, biburl = {https://www.bibsonomy.org/bibtex/2fc7c4fa53f4cf52cef50e90411f75788/dblp}, ee = {https://arxiv.org/abs/2010.08288}, interhash = {d147faa478a83b338ef493997e4e4798}, intrahash = {fc7c4fa53f4cf52cef50e90411f75788}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-10-22T11:35:23.000+0200}, title = {A symmetric attractor-decomposition lifting algorithm for parity games.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-08288}, volume = {abs/2010.08288}, year = 2020 }