DBLP Record 'conf/tacas/GopanDDRS04'

BibTeX

@inproceedings{DBLP:conf/tacas/GopanDDRS04,
  author    = {Denis Gopan and
               Frank DiMaio and
               Nurit Dor and
               Thomas W. Reps and
               Shmuel Sagiv},
  title     = {Numeric Domains with Summarized Dimensions},
  booktitle = {TACAS},
  year      = {2004},
  pages     = {512-529},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2988{\&}spage=512},
  crossref  = {DBLP:conf/tacas/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tacas/2004,
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {Tools and Algorithms for the Construction and Analysis of
               Systems, 10th International Conference, TACAS 2004, Held
               as Part of the Joint European Conferences on Theory and
               Practice of Software, ETAPS 2004, Barcelona, Spain, March
               29 - April 2, 2004, Proceedings},
  booktitle = {TACAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  year      = {2004},
  isbn      = {3-540-21299-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}