BibTeX record conf/date/BarkeGGHHPSW09

• > Home > conf/date/BarkeGGHHPSW09

@inproceedings{DBLP:conf/date/BarkeGGHHPSW09,
  author       = {Erich Barke and
                  Darius Grabowski and
                  Helmut Graeb and
                  Lars Hedrich and
                  Stefan Heinen and
                  Ralf Popp and
                  Sebastian Steinhorst and
                  Yifan Wang},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Formal approaches to analog circuit verification},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {724--729},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1874798},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BarkeGGHHPSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}