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]
Abstract is missing.