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 | Nov 30, 2010 |
| Páginas | 184 |
| Formato | paperback |
| ISBN-13 | 9783642096051 |
| ISBN-10 | 3642096050 |
| Número de Cutter | E77u |