DBLP Record 'conf/issta/Ezick04'

BibTeX

@inproceedings{DBLP:conf/issta/Ezick04,
  author    = {James Ezick},
  title     = {An optimizing compiler for batches of temporal logic formulas},
  booktitle = {ISSTA},
  year      = {2004},
  pages     = {183-194},
  ee        = {http://doi.acm.org/10.1145/1007512.1007537},
  crossref  = {DBLP:conf/issta/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issta/2004,
  editor    = {George S. Avrunin and
               Gregg Rothermel},
  title     = {Proceedings of the ACM/SIGSOFT International Symposium on
               Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts,
               USA, July 11-14, 2004},
  booktitle = {ISSTA},
  publisher = {ACM},
  year      = {2004},
  isbn      = {1-58113-820-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}