Reiner Genevriere

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Gernot Koch, Taewhan Kim, Reiner Genevriere
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis. ICCAD (2000)