A Unified Formal Framework for Analyzing Functional and Speed-path Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Oswaldo Olivo' in GoogleThis author has not been identified. Look up 'Sandip Ray' in GoogleThis author has not been identified. Look up 'Jayanta Bhadra' in GoogleThis author has not been identified. Look up 'Vivekananda M. Vedula' in Google

runs on WebDSL