| 000 | 00730nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | sulbI000012 | ||
| 003 | BD-SySUS | ||
| 005 | 20160522115542.0 | ||
| 008 | 160522s2000 nyu 000 0 eng | ||
| 020 | _a354067704 | ||
| 040 |
_aDLC _cDLC _dBD-SySUS |
||
| 082 |
_222 _a004.24 _bEMC |
||
| 100 | 1 |
_aEmerson E. Allen. _924230 |
|
| 245 | 0 | 0 |
_aComputer aided verification : _b12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 Proceedings / _cAllen, Emerson E. and A Prasad Sistla, |
| 260 |
_aNew York : _bSpringer, _cc2000. |
||
| 300 |
_a582p. : _bills. ; _c28 cm. |
||
| 500 | _aInclude index. | ||
| 650 | 0 |
_aComputer Aided Verification. _924231 |
|
| 700 | 1 |
_aSistla, A Prasad _924232 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c60514 _d60514 |
||