Diana Fischer, Erich Grädel, Lukasz Kaiser. Model Checking Games for the Quantitative ::::µ::::-Calculus. Theory Comput. Syst., 47(3):696-719, 2010. [doi]
@article{FischerGK10, title = {Model Checking Games for the Quantitative ::::µ::::-Calculus}, author = {Diana Fischer and Erich Grädel and Lukasz Kaiser}, year = {2010}, url = {http://springerlink.metapress.com/content/qj8p74228863m451/}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/FischerGK10}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {47}, number = {3}, pages = {696-719}, }