Provably correct on-chip communication
Avnit, K., D'silva, V., Sowmya, A., Ramesh, S., Parameswaran, S.Volume:
14
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/1497561.1497562
Date:
March, 2009
File:
PDF, 6.44 MB
english, 2009