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]
@inproceedings{LittleSWMY06,
title = {Verification of analog/mixed-signal circuits using labeled hybrid petri nets},
author = {Scott Little and Nicholas Seegmiller and David Walter and Chris J. Myers and Tomohiro Yoneda},
year = {2006},
doi = {10.1145/1233501.1233556},
url = {http://doi.acm.org/10.1145/1233501.1233556},
researchr = {https://researchr.org/publication/LittleSWMY06},
cites = {0},
citedby = {0},
pages = {275-282},
booktitle = {2006 International Conference on Computer-Aided Design (ICCAD 06), November 5-9, 2006, San Jose, CA, USA},
editor = {Soha Hassoun},
publisher = {ACM},
isbn = {1-59593-389-1},
}