Fingerprint
Dive into the research topics of 'Multi-valued model checking games'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Multi-valued model checking games
Sharon Shoham*, Orna Grumberg
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review