Temporal verification of reactive systems
safety
Edición de la obra Temporal verification of reactive systems
| Autor | Zohar Manna |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1995 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 512 |
| ISBN-10 | 0387944591 |
| OCLC | 32013053 |
| LCCN | 95005442 |
| Número de Cutter | M282t |