TY  - GEN
AB  - cse-99-002
AU  - Matthews, John
DA  - 1999
DO  - 10.6083/kh04dq03d
DO  - DOI
ID  - 3796
L1  - https://digitalcollections.ohsu.edu/record/3796/files/csetech-113.pdf
L2  - https://digitalcollections.ohsu.edu/record/3796/files/csetech-113.pdf
L4  - https://digitalcollections.ohsu.edu/record/3796/files/csetech-113.pdf
LK  - https://digitalcollections.ohsu.edu/record/3796/files/csetech-113.pdf
N2  - cse-99-002
PY  - 1999
T1  - Elementary microarchitecture algebra: top-level proof of pipelined microarchitecture
TI  - Elementary microarchitecture algebra: top-level proof of pipelined microarchitecture
UR  - https://digitalcollections.ohsu.edu/record/3796/files/csetech-113.pdf
Y1  - 1999
ER  -