Knowledge And Strategic Ability For Model Checking A Refined Approach.pdf
Last update : 4 weeks ago
"Knowledge and Strategic Ability for Model Checking: A Refined Approach" is owned and hosted by www.gbv.de, this file has been downloaded 172 times, the last time was in 2025-03-20.
The pdf has been created in 2008-01-29, if you want to preview or download it, just click the link below.
| Download | ||
| Title | Knowledge and Strategic Ability for Model Checking: A Refined Approach | |
| File Name | ifi-07-09.pdf - 506.79 KB | |
| Pages | 23 pages | |
| Owner | www.gbv.de | |
| Creation date | 17 years ago | |
| Nb of downloads | 172 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "Knowledge and Strategic Ability for Model Checking A Refined Approach" does not meet your expectations, we invite you to take a look at the similar files below :
Related files to Knowledge and Strategic Ability for Model Checking A Refined Approach
Model Checking Model Checking For Infinite Systems Traffic Light
mc-handout-2x2.pdf
More files from www.gbv.de
Grundlagen Komponenten Systeme Perspektiven
Owner : www.gbv.de
PROCEEDINGS
Owner : www.gbv.de
Arbeitsbuch Deutschsprachige Prosa Seit 1945
Owner : www.gbv.de
Pica3
Owner : www.gbv.de
Table Of Contents
Owner : www.gbv.de