| 000 | 00427nam#a2200181ua#4500 | ||
|---|---|---|---|
| 001 | GOACATREC82500 | ||
| 900 | 0 | 0 | _a20030310 |
| 901 | 0 | 0 | _aENG |
| 020 | 0 | 0 | _a3540551794 |
| 245 | 0 | 0 | _aComputer aided verification |
| 100 | 0 | 0 | _aLarsen, K |
| 700 | 0 | 0 | _aSkou, A |
| 440 | 0 | 0 | _aLecture notes in computer science |
| 902 | 0 | 0 | _a005.14 |
| 650 | 0 | 0 | _aComputer verification |
| 903 | 0 | 0 | _a94827 |
| 260 | 0 | 0 |
_aBerlin _bSpringer Verlag _c1991 |
| 999 |
_c82424 _d82424 |
||