@article{journals/tse/HeitmeyerKLAB98,
  added-at = {2004-10-14T00:00:00.000+0200},
  author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G. and Archer, Myla and Bharadwaj, Ramesh},
  biburl = {http://www.bibsonomy.org/bibtex/28fe5b43aaa7bcbf818b4c3f4b517c7af/dblp},
  date = {2004-10-14},
  description = {dblp},
  ee = {http://csdl.computer.org/comp/trans/ts/1998/11/e0927abs.htm},
  interhash = {a02501f35502549e5f7891729570bc14},
  intrahash = {8fe5b43aaa7bcbf818b4c3f4b517c7af},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 11,
  pages = {927-948},
  timestamp = {2004-10-14T00:00:00.000+0200},
  title = {Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse24.html#HeitmeyerKLAB98},
  volume = 24,
  year = 1998
}