%0 Journal Article %1 journals/corr/abs-1204-2087 %A Bozianu, Rodica %A Dima, Catalin %A Enea, Constantin %D 2012 %J CoRR %K dblp %T Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics %U http://dblp.uni-trier.de/db/journals/corr/corr1204.html#abs-1204-2087 %V abs/1204.2087

@article{journals/corr/abs-1204-2087, added-at = {2018-08-13T00:00:00.000+0200}, author = {Bozianu, Rodica and Dima, Catalin and Enea, Constantin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cb2ac1ec86f59bddbfaef836c5a22b30/dblp}, ee = {http://arxiv.org/abs/1204.2087}, interhash = {15f5061cace47662da1f75197679728f}, intrahash = {cb2ac1ec86f59bddbfaef836c5a22b30}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:24:30.000+0200}, title = {Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1204.html#abs-1204-2087}, volume = {abs/1204.2087}, year = 2012 }