Unfoldings
a partial-order approach to model checking
Edición de la obra Unfoldings
| Autor | Javier Esparza |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Lugar | Berlin |
| Idioma | inglés |
| Páginas | 169 |
| ISBN-13 | 9783540774259 |
| ISBN-10 | 3540774254 |
| LCCN | 2008921563 |
| Serie | Monographs in theoretical computer science: an EATCS series · Monographs in theoretical computer science |
| Número de Cutter | E77u |