@inproceedings{conf/esop/GoughB88,
  added-at = {2009-09-20T00:00:00.000+0200},
  author = {Gough, Graham and Barringer, Howard},
  biburl = {http://www.bibsonomy.org/bibtex/28bb1549f735289f52d2e1355ae723e37/dblp},
  booktitle = {ESOP},
  crossref = {conf/esop/1988},
  date = {2009-09-20},
  description = {dblp},
  editor = {Ganzinger, Harald},
  ee = {http://dx.doi.org/10.1007/3-540-19027-9_2},
  interhash = {6cefcbee9cffd1a0653b0af22c21a912},
  intrahash = {8bb1549f735289f52d2e1355ae723e37},
  isbn = {3-540-19027-9},
  keywords = {dblp},
  pages = {21-33},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-20T00:00:00.000+0200},
  title = {A Semantics Driven Temporal Verification System.},
  url = {http://dblp.uni-trier.de/db/conf/esop/esop88.html#GoughB88},
  volume = 300,
  year = 1988
}