Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/atva/LittleWSMY04
%A Little, Scott
%A Walter, David
%A Seegmiller, Nicholas
%A Myers, Chris J.
%A Yoneda, Tomohiro
%B ATVA
%D 2004
%E Wang, Farn
%I Springer
%K dblp
%P 426-440
%T Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.
%U http://dblp.uni-trier.de/db/conf/atva/atva2004.html#LittleWSMY04
%V 3299
%@ 3-540-23610-4
@inproceedings{conf/atva/LittleWSMY04,
added-at = {2017-06-01T00:00:00.000+0200},
author = {Little, Scott and Walter, David and Seegmiller, Nicholas and Myers, Chris J. and Yoneda, Tomohiro},
biburl = {https://www.bibsonomy.org/bibtex/240d39eb33ff3f35c6c003e1c85c48406/dblp},
booktitle = {ATVA},
crossref = {conf/atva/2004},
editor = {Wang, Farn},
ee = {https://doi.org/10.1007/978-3-540-30476-0_35},
interhash = {2217f1127299c9241cc096b848661195},
intrahash = {40d39eb33ff3f35c6c003e1c85c48406},
isbn = {3-540-23610-4},
keywords = {dblp},
pages = {426-440},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:01:10.000+0200},
title = {Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.},
url = {http://dblp.uni-trier.de/db/conf/atva/atva2004.html#LittleWSMY04},
volume = 3299,
year = 2004
}