@STRING{dac	= {Design Automation Conf.} }
@inproceedings{CSGD:2016,
  author    = {Arun Chandrasekharan and Mathias Soeken and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Precise Error Determination of Approximated Components in Sequential Circuits with Model Checking},
  booktitle = dac,
  pages     = {129:1--129:6},
  year      = {2016}
}