|
Unfoldings :a partial - order approach to model checking /Javier Esparza, Keijo Heljanko
Unfoldings :a partial - order approach to model checking /Javier Esparza, Keijo Heljanko
| Parallel Title | |
|---|---|
| Author | Esparza ,/bJavier |
| ISBN | 9783540774259 |
| ISSN | |
| Call Number | 005.369 ESP |
| Publication | Verlag Berlin Heidelberg : |
| Publisher | Springer, |
| Year | 2008 |
| Physical Description |
171 p.;24 cm
|
| Subject |
Computer Software -Testing
Computer system -Verification |
| Related Names |
Heljanko,/bKeijo
|
| URL |
Availability:
| UnIPSAS Library | ( 1 Copy ) |
