Interface Synthesis and Protocol Conversion (2008)

Cached

Download Links

by Purandar Bhaduri , S. Ramesh
Venue:Formal Aspects of Computing
Citations:12 - 1 self