%0 Journal Article %1 journals/jcss/ShohamG12 %A Shoham, Sharon %A Grumberg, Orna %D 2012 %J J. Comput. Syst. Sci. %K dblp %N 2 %P 414-429 %T Multi-valued model checking games. %U http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#ShohamG12 %V 78

@article{journals/jcss/ShohamG12, added-at = {2021-02-16T00:00:00.000+0100}, author = {Shoham, Sharon and Grumberg, Orna}, biburl = {https://www.bibsonomy.org/bibtex/29b24b0f395152e4847beb64a2ca9458e/dblp}, ee = {https://doi.org/10.1016/j.jcss.2011.05.003}, interhash = {38265470d934447111cbf5c4fa963742}, intrahash = {9b24b0f395152e4847beb64a2ca9458e}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 2, pages = {414-429}, timestamp = {2024-04-08T19:13:41.000+0200}, title = {Multi-valued model checking games.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#ShohamG12}, volume = 78, year = 2012 }