| 000 | 00482nam a2200181 4500 | ||
|---|---|---|---|
| 008 | 160616s2008 000 0 | ||
| 245 |
_aUnfoldings _ba partial-order approach to model checking |
||
| 100 | _aEsparza, Javier | ||
| 100 | _aHeljanko, Keijo | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer-Verlag | ||
| 260 | _c2008 | ||
| 300 | _a169 | ||
| 440 | _aMonographs in theoretical computer science | ||
| 020 | _a9783540774259 | ||
| 942 |
_cBK _2BK23598 |
||
| 080 | _a681.3 ESP | ||
| 999 |
_c23598 _d23598 |
||