Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/atva/WalterLM07
%A Walter, David
%A Little, Scott
%A Myers, Chris J.
%B ATVA
%D 2007
%E Namjoshi, Kedar S.
%E Yoneda, Tomohiro
%E Higashino, Teruo
%E Okamura, Yoshio
%I Springer
%K dblp
%P 66-81
%T Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.
%U http://dblp.uni-trier.de/db/conf/atva/atva2007.html#WalterLM07
%V 4762
%@ 978-3-540-75595-1
@inproceedings{conf/atva/WalterLM07,
added-at = {2017-06-01T00:00:00.000+0200},
author = {Walter, David and Little, Scott and Myers, Chris J.},
biburl = {https://www.bibsonomy.org/bibtex/260a74054c1ae64f02dd5184cc5a1d340/dblp},
booktitle = {ATVA},
crossref = {conf/atva/2007},
editor = {Namjoshi, Kedar S. and Yoneda, Tomohiro and Higashino, Teruo and Okamura, Yoshio},
ee = {https://doi.org/10.1007/978-3-540-75596-8_7},
interhash = {c856d134679cf073ceea3642e4d79d45},
intrahash = {60a74054c1ae64f02dd5184cc5a1d340},
isbn = {978-3-540-75595-1},
keywords = {dblp},
pages = {66-81},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:00:53.000+0200},
title = {Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.},
url = {http://dblp.uni-trier.de/db/conf/atva/atva2007.html#WalterLM07},
volume = 4762,
year = 2007
}