Oswaldo Olivo, Sandip Ray, Jayanta Bhadra, Vivekananda M. Vedula. A Unified Formal Framework for Analyzing Functional and Speed-path Properties. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 12th International Workshop on Microprocessor Test and Verification, MTV 2011, Austin, TX, USA, December 5-7, 2011. pages 44-45, IEEE, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.