%0 Thesis %1 phd/us/Little08 %A Little, Scott %D 2008 %K dblp %T Efficient Modeling and Verification of Analog/Mixed Signal Circuits Using Labeled Hybrid Petri nets.

@phdthesis{phd/us/Little08, added-at = {2022-07-01T00:00:00.000+0200}, author = {Little, Scott}, biburl = {https://www.bibsonomy.org/bibtex/2d2e64eaea695e2e48e7928b7a774fb1a/dblp}, interhash = {1751c9c821416678b39cf063bacd5636}, intrahash = {d2e64eaea695e2e48e7928b7a774fb1a}, keywords = {dblp}, school = {University of Utah, USA}, timestamp = {2024-04-09T08:04:39.000+0200}, title = {Efficient Modeling and Verification of Analog/Mixed Signal Circuits Using Labeled Hybrid Petri nets.}, year = 2008 }