Verification of analog/mixed-signal circuits using labeled hybrid petri nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda. Verification of analog/mixed-signal circuits using labeled hybrid petri nets. In Soha Hassoun, editor, 2006 International Conference on Computer-Aided Design (ICCAD 06), November 5-9, 2006, San Jose, CA, USA. pages 275-282, ACM, 2006. [doi]

This author has not been identified. Look up 'Scott Little' in GoogleThis author has not been identified. Look up 'Nicholas Seegmiller' in GoogleThis author has not been identified. Look up 'David Walter' in GoogleThis author has not been identified. Look up 'Chris J. Myers' in GoogleThis author has not been identified. Look up 'Tomohiro Yoneda' in Google

runs on WebDSL