Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700
LibreCat: https://research-explorer.ista.ac.at/record/4480
DOI: 10.1109/ICCAD.1999.810700