The following publications are possibly variants of this publication:
- Verification of analog/mixed-signal circuits using labeled hybrid petri netsScott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda. iccad 2006: 275-282 [doi]
- Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri NetsScott Little, David Walter, Chris J. Myers, Robert Thacker, Satish Batchu, Tomohiro Yoneda. tcad, 30(4):617-630, 2011. [doi]
- Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri NetsScott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda. ATVA 2004: 426-440 [doi]