Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli. Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods in System Design, 31(1):1-33, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.