Formal verification of a real-time hardware design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zerksis D. Umrigar, Vijay Pitchumani. Formal verification of a real-time hardware design. In Charles E. Radke, editor, Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983. pages 221-227, ACM/IEEE, 1983. [doi]

This author has not been identified. Look up 'Zerksis D. Umrigar' in GoogleThis author has not been identified. Look up 'Vijay Pitchumani' in Google

runs on WebDSL