{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T23:30:00Z","timestamp":1705188600391},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1007\/s00224-009-9201-y","type":"journal-article","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T14:13:23Z","timestamp":1236089603000},"page":"696-719","source":"Crossref","is-referenced-by-count":11,"title":["Model Checking Games for the Quantitative \u03bc-Calculus"],"prefix":"10.1007","volume":"47","author":[{"given":"Diana","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Gr\u00e4del","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0141ukasz","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"9201_CR1","series-title":"LNCS","first-page":"102","volume-title":"CONCUR","author":"L. Alfaro de","year":"2003","unstructured":"de Alfaro, L.: Quantitative verification and control via the mu-calculus. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR. LNCS, vol. 2761, pp. 102\u2013126. Springer, Berlin (2003)"},{"issue":"2","key":"9201_CR2","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1016\/j.jcss.2003.07.009","volume":"68","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L., Majumdar, R.: Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2), 374\u2013397 (2004)","journal-title":"J. Comput. Syst. Sci."},{"key":"9201_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1022","DOI":"10.1007\/3-540-45061-0_79","volume-title":"ICALP","author":"L. Alfaro de","year":"2003","unstructured":"de Alfaro, L., Henzinger, T.A., Majumdar, R.: Discounting the future in systems theory. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP. Lecture Notes in Computer Science, vol. 2719, pp. 1022\u20131037. Springer, Berlin (2003)"},{"issue":"1","key":"9201_CR4","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.tcs.2005.07.033","volume":"345","author":"L. Alfaro de","year":"2005","unstructured":"de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., Stoelinga, M.: Model checking discounted temporal properties. Theor. Comput. Sci. 345(1), 139\u2013170 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"9201_CR5","unstructured":"de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching system metrics. Technical Report ucsc-crl-05-01, School of Engineering, University of California, Santa Cruz (2005)"},{"key":"9201_CR6","first-page":"385","volume-title":"Proceedings of the 5th International Conference on Computer Aided Verification, CAV \u201993","author":"E.A. Emerson","year":"1993","unstructured":"Emerson, E.A., Jutla, C.S., Sistla, A.P.: On model-checking for fragments of \u03bc-calculus. In: Proceedings of the 5th International Conference on Computer Aided Verification, CAV \u201993, vol. 697, pp. 385\u2013396. Springer, Berlin (1993)"},{"key":"9201_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/978-3-540-75596-8_14","volume-title":"ATVA","author":"T. Gawlitza","year":"2007","unstructured":"Gawlitza, T., Seidl, H.: Computing game values for crash games. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA. Lecture Notes in Computer Science, vol. 4762, pp. 177\u2013191. Springer, Berlin (2007)"},{"key":"9201_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1007\/978-3-540-73420-8_73","volume-title":"ICALP","author":"H. Gimbert","year":"2007","unstructured":"Gimbert, H., Zielonka, W.: Perfect information stochastic priority games. In: Arge, L., Cachin, C., Jurdzinski, T., Tarlecki, A. (eds.) ICALP. Lecture Notes in Computer Science, vol. 4596, pp. 850\u2013861. Springer, Berlin (2007)"},{"key":"9201_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-68804-8_3","volume-title":"Finite Model Theory and Its Applications","author":"E. Gr\u00e4del","year":"2007","unstructured":"Gr\u00e4del, E.: Finite model theory and descriptive complexity. In: Finite Model Theory and Its Applications, pp. 125\u2013230. Springer, Berlin (2007)"},{"key":"9201_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-46541-3_24","volume-title":"STACS","author":"M. Jurdzi\u0144ski","year":"2000","unstructured":"Jurdzi\u0144ski, M.: Small progress measures for solving parity games. In: Reichel, H., Tison, S. (eds.) STACS. Lecture Notes in Computer Science, vol. 1770, pp. 290\u2013301. Springer, Berlin (2000)"},{"key":"9201_CR11","doi-asserted-by":"crossref","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"D.A. Martin","year":"1975","unstructured":"Martin, D.A.: Borel determinacy. Ann. Math. 102, 363\u2013371 (1975)","journal-title":"Ann. Math."},{"key":"9201_CR12","doi-asserted-by":"crossref","unstructured":"McIver, A., Morgan, C.: Results on the quantitative \u03bc-calculus qM\u03bc. ACM Trans. Comput. Log. 8(1) (2007)","DOI":"10.1145\/1182613.1182616"},{"key":"9201_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-61042-1_51","volume-title":"TACAS","author":"C. Stirling","year":"1996","unstructured":"Stirling, C.: Games and modal mu-calculus. In: Margaria, T., Steffen, B. (eds.) TACAS. Lecture Notes in Computer Science, vol. 1055, pp. 298\u2013312. Springer, Berlin (1996)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-009-9201-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-009-9201-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-009-9201-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T07:51:37Z","timestamp":1558684297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-009-9201-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,4]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["9201"],"URL":"https:\/\/doi.org\/10.1007\/s00224-009-9201-y","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,4]]}}}