%0 Journal Article %1 journals/tcs/AmblerKM95 %A Ambler, Simon %A Kwiatkowska, Marta Z. %A Measor, Nicholas %D 1995 %J Theor. Comput. Sci. %K dblp %N 1 %P 3-27 %T Duality and the Completeness of the Modal mu-Calculus. %U http://dblp.uni-trier.de/db/journals/tcs/tcs151.html#AmblerKM95 %V 151

@article{journals/tcs/AmblerKM95, added-at = {2003-11-19T00:00:00.000+0100}, author = {Ambler, Simon and Kwiatkowska, Marta Z. and Measor, Nicholas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/252212cdd8f1c9c4de5762ae614fd44e0/dblp}, ee = {http://dx.doi.org/10.1016/0304-3975(95)00045-X}, interhash = {52b0f3f883f926c1f4552f76ea388d05}, intrahash = {52212cdd8f1c9c4de5762ae614fd44e0}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {3-27}, timestamp = {2016-02-02T10:04:23.000+0100}, title = {Duality and the Completeness of the Modal mu-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs151.html#AmblerKM95}, volume = 151, year = 1995 }