BibTeX record conf/ifip/CousotC04

download as .bib file

@inproceedings{DBLP:conf/ifip/CousotC04,
  author    = {Patrick Cousot and
               Radhia Cousot},
  title     = {Basic concepts of abstract interpretation},
  booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
               Topical Sessions, 22-27 August 2004, Toulouse, France},
  pages     = {359--366},
  year      = {2004},
  crossref  = {DBLP:conf/ifip/2004bis},
  url       = {http://dx.doi.org/10.1007/978-1-4020-8157-6_27},
  doi       = {10.1007/978-1-4020-8157-6_27},
  timestamp = {Wed, 16 Jul 2014 12:43:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip/CousotC04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifip/2004bis,
  editor    = {Ren{\'{e}} Jacquart},
  title     = {Building the Information Society, {IFIP} 18th World Computer Congress,
               Topical Sessions, 22-27 August 2004, Toulouse, France},
  series    = {{IFIP}},
  volume    = {156},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8156-1},
  timestamp = {Wed, 16 Jul 2014 09:06:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip/2004bis},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}