Inverting the Abstraction Mapping: A Methodology for Hardware Verification (1996)

Cached

Download Links

by David Cyrluk
Venue:Formal Methods in Computer-Aided Design, pages 172 – 186. Lecture Notes in Computer Science 1166
Citations:14 - 1 self