TY  - SER
AU  - Bochmann, Gregor V.
TI  - Hardware Specification with  Temporal Logic: an Example
KW  - Arbiter
KW  - Design Verification
KW  - Hardware Verification
ER  -