Scott Little. Efficient Modeling and Verification of Analog/Mixed Signal Circuits Using Labeled Hybrid Petri nets. PhD thesis, University of Utah, USA, 2008.
@phdthesis{us-3997, title = {Efficient Modeling and Verification of Analog/Mixed Signal Circuits Using Labeled Hybrid Petri nets}, author = {Scott Little}, year = {2008}, researchr = {https://researchr.org/publication/us-3997}, cites = {0}, citedby = {0}, school = {University of Utah, USA}, }