About this Computer Science article
Multi-valued Model Checking Games by Sharon Shoham; Orna Grumberg is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Sharon Shoham; Orna Grumberg
- Publisher
- Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0022-0000)
- Published
- 2012
- Language
- EN
- Field
- Computer Science (Physical Sciences)