WalterLMSY08'

@article{DBLP:journals/tcad/WalterLMSY08,
  author    = {David Walter and
               Scott Little and
               Chris J. Myers and
               Nicholas Seegmiller and
               Tomohiro Yoneda},
  title     = {Verification of Analog/Mixed-Signal Circuits Using Symbolic
               Methods},
  journal   = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume    = {27},
  number    = {12},
  year      = {2008},
  pages     = {2223-2235},
  ee        = {http://dx.doi.org/10.1109/TCAD.2008.2006159},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}