%0 Journal Article %1 journals/ita/Zhang03 %A Zhang, Guo-Qiang %D 2003 %J ITA %K dblp %N 4 %P 337-364 %T Domain µ-calculus. %U http://dblp.uni-trier.de/db/journals/ita/ita37.html#Zhang03 %V 37

@article{journals/ita/Zhang03, added-at = {2004-02-17T00:00:00.000+0100}, author = {Zhang, Guo-Qiang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d7f58e3752d3267b21871f0c60828935/dblp}, ee = {http://dx.doi.org/10.1051/ita:2003023}, interhash = {6d8f9f6875754a0abeca36b4626791c5}, intrahash = {d7f58e3752d3267b21871f0c60828935}, journal = {ITA}, keywords = {dblp}, number = 4, pages = {337-364}, timestamp = {2016-02-02T09:00:41.000+0100}, title = {Domain µ-calculus.}, url = {http://dblp.uni-trier.de/db/journals/ita/ita37.html#Zhang03}, volume = 37, year = 2003 }