@inproceedings{DBLP:conf/atva/LittleWSMY04,
author = {Scott Little and
David Walter and
Nicholas Seegmiller and
Chris J. Myers and
Tomohiro Yoneda},
title = {Verification of Analog and Mixed-Signal Circuits Using Timed
Hybrid Petri Nets},
booktitle = {ATVA},
year = {2004},
pages = {426-440},
ee = {http://dx.doi.org/10.1007/978-3-540-30476-0_35},
crossref = {DBLP:conf/atva/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/atva/2004,
editor = {Farn Wang},
title = {Automated Technology for Verification and Analysis: Second
International Conference, ATVA 2004, Taipei, Taiwan, ROC,
October 31-November 3, 2004. Proceedings},
booktitle = {ATVA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3299},
year = {2004},
isbn = {3-540-23610-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
