Flavia Rosemberg

Publication Activity (10 Years)

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

Publications

Dorit Ron, Flavia Rosemberg, Amir Pnueli
A Hardware Implementation of the CSP Primitives and its Verification. ICALP (1984)