| 000 | 00457nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 191118s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a9783319105741 | ||
| 082 |
_a004.21 _bCla |
||
| 100 |
_aClarke, E.M. (Ed.) _9394 |
||
| 245 | 0 | _aHandbook of Model Checking | |
| 260 |
_aSwitzerland _bSpringer _c2018 |
||
| 300 | _axxiv, 1210p. | ||
| 650 |
_aComputer Systems—Verification _9395 |
||
| 700 |
_aHenzinger, Th.A; Veith, H; Bloem, R. (Eds.) _9396 |
||
| 942 | _cBK | ||
| 999 |
_c948 _d948 |
||