@inproceedings{conf/cav/HeitmeyerKLB98,
  added-at = {2009-09-25T00:00:00.000+0200},
  author = {Heitmeyer, Constance L. and Kirby, James and Labaw, Bruce G. and Bharadwaj, Ramesh},
  biburl = {http://www.bibsonomy.org/bibtex/2432e286c456f354efd248bd596874714/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/1998},
  date = {2009-09-25},
  description = {dblp},
  editor = {Hu, Alan J. and Vardi, Moshe Y.},
  ee = {http://dx.doi.org/10.1007/BFb0028775},
  interhash = {bc0d32d5b3660b5da5cd82cf1b2ed334},
  intrahash = {432e286c456f354efd248bd596874714},
  isbn = {3-540-64608-6},
  keywords = {dblp},
  pages = {526-531},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-25T00:00:00.000+0200},
  title = {SCR*: A Toolset for Specifying and Analyzing Software Requirements.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav98.html#HeitmeyerKLB98},
  volume = 1427,
  year = 1998
}