Media type: E-Article Title: Multi-valued model checking games Contributor: Shoham, Sharon; Grumberg, Orna Published: Elsevier BV, 2012 Published in: Journal of Computer and System Sciences, 78 (2012) 2, Seite 414-429 Language: English DOI: 10.1016/j.jcss.2011.05.003 ISSN: 0022-0000 Origination: Footnote: Access State: Open Access