DMCA

A refinement approach to design and verification of on-chip communication protocols (2008)

Cached

Download Links

by Peter Böhm , Tom Melham
Venue:in 2008 Formal Methods in Computer Aided Design, A. Cimatti and
Citations:3 - 1 self