Unfoldings
A Partial-Order Approach to Model Checking
Edición de la obra Unfoldings
| Autor | Javier Esparza, Keijo Heljanko |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540774266 |
| Número de Cutter | E77u |
A Partial-Order Approach to Model Checking
Edición de la obra Unfoldings
| Autor | Javier Esparza, Keijo Heljanko |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540774266 |
| Número de Cutter | E77u |