| 000 | 00567nam a2200181 4500 | ||
|---|---|---|---|
| 008 | 160616s1993 000 0 | ||
| 245 | _aComputer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings | ||
| 100 | _aCourcoubetis, Costas, Ed. | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer Verlag | ||
| 260 | _c1993 | ||
| 300 | _a504 | ||
| 440 | _aLecture notes in computer science ; 00697 | ||
| 020 | _a3540569227 | ||
| 650 |
_aComputer Aided Verification _aLNCS 697 |
||
| 942 |
_cBK _2BK12527 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c12527 _d12527 |
||