TY  - GEN
DO  - 10.6083/M45718Z1
DO  - DOI
AD  - Oregon Graduate Institute of Science and Technology
T1  - Algebraic specification and verification of processor microarchitectures
DA  - 2000
AU  - Matthews, John R.
L1  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
PB  - Oregon Graduate Institute of Science and Technology
PY  - 2000
ID  - 107
L4  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
KW  - microprocessors
KW  - functional programming languages
KW  - design
KW  - computer hardware description languages
TI  - Algebraic specification and verification of processor microarchitectures
Y1  - 2000
L2  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
LK  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
UR  - https://digitalcollections.ohsu.edu/record/107/files/107_etd.pdf
ER  -