25 Years of model checking : history, achievements, perspectives /
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
New York :
Springer,
c2008.
|
| Colección: | Lecture Notes in Computer Science / Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
5000 |
| Materias: | |
| Acceso en línea: | Ver documento en línea |