Intelligent Information Processing III
Springer US
Chapter title |
Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties
|
---|---|
Chapter number | 7 |
Book title |
Intelligent Information Processing III
|
Published by |
Springer US, September 2006
|
DOI | 10.1007/978-0-387-44641-7_7 |
Book ISBNs |
978-0-387-44639-4, 978-0-387-44641-7
|
Authors |
Zining Cao, Cao, Zining |