Adaptive Model Checking (2002)
Cached
Download Links
- [www-2.cs.cmu.edu]
- [www.research.avayalabs.com]
- [www.cs.aau.dk]
- [www-2.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
Alex Groce
,
Doron Peled
,
Mihalis Yannakakis
| Citations: | 43 - 1 self |
Document Versions
| Adaptive Model Checking –Alex Groce, Doron Peled, Mihalis Yannakakis — 2002 |
| Adaptive Model Checking –Alex Groce, Doron Peled, Mihalis Yannakakis — 2002 — In Tools and Algorithms for Construction and Analysis of Systems |
| Model Checking –Doron Peled — 2001 |
| Adaptive model checking –Alex Groce, Doron Peled, Mihalis Yannakakis — 2002 — In Tools and Algorithms for Construction and Analysis of Systems |
