DOI,IST REx ID,Title of publication
10.1109/ICCAD.1999.810700,4480,Formal specification and verification of a dataflow processor array