%0 Journal Article %1 journals/corr/abs-1305-0648 %A Bruse, Florian %A Friedmann, Oliver %A Lange, Martin %D 2013 %J CoRR %K %T Guarded Transformation for the Modal mu-Calculus %U http://dblp.uni-trier.de/db/journals/corr/corr1305.html#abs-1305-0648 %V abs/1305.0648

@article{journals/corr/abs-1305-0648, added-at = {2023-12-14T14:31:38.000+0100}, author = {Bruse, Florian and Friedmann, Oliver and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/21d14dad3faaec4b09bad1a484fd186fb/admin}, ee = {http://arxiv.org/abs/1305.0648}, interhash = {e07160899fc2cfbe62453120996eb6b7}, intrahash = {1d14dad3faaec4b09bad1a484fd186fb}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T14:31:38.000+0100}, title = {Guarded Transformation for the Modal mu-Calculus}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1305.html#abs-1305-0648}, volume = {abs/1305.0648}, year = 2013 }