@inproceedings{conf/re/HeitmeyerLK95,
  added-at = {2003-02-26T00:00:00.000+0100},
  author = {Heitmeyer, Constance L. and Labaw, Bruce G. and Kiskis, Daniel L.},
  biburl = {http://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblp},
  booktitle = {RE},
  crossref = {conf/re/1995},
  date = {2003-02-26},
  description = {dblp},
  ee = {http://computer.org/proceedings/re/7017/70170056abs.htm},
  interhash = {5e32c095a3726f623b35f9be76cebd88},
  intrahash = {0772003e02dff005a5432c2fb77efd26},
  keywords = {dblp},
  pages = {56-65},
  publisher = {IEEE Computer Society},
  timestamp = {2003-02-26T00:00:00.000+0100},
  title = {Consistency checking of SCR-style requirements specifications.},
  url = {http://dblp.uni-trier.de/db/conf/re/re1995.html#HeitmeyerLK95},
  year = 1995
}