000 00499 a2200241 4500
001 280851
020 _a
041 _aeng
080 _aLCIT TR 3642 : 1980
245 _aModelling and verification in structured integrated circuit design
250 _a
260 _aCalifornia
260 _bCalifornia Institute of Technology
260 _c1980
300 _a258 p.
300 _c
856 _u
490 _aCIT TR 3642 : 1980
700 _a
650 _a
650 _a
942 _cPP
942 _2UDC
999 _c240277
_d240277