000 | 00458nab a2200145Ia 4500 | ||
---|---|---|---|
008 | 230808s1982 |||||||f |||| 00| 0 eng d | ||
100 |
_aBochmann, Gregor V. _9774318 |
||
245 | 0 | _aHardware Specification with Temporal Logic: an Example | |
300 | _a223-231 p. | ||
650 |
_aArbiter _9716608 |
||
650 |
_aDesign Verification _9779063 |
||
650 |
_aHardware Verification _9783923 |
||
773 |
_d1982 _tIEEE Transactions on Computers _x00189340 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c746675 _d746675 |