BibTeX record: conf/iclp/Lopez-GarciaDB10

download as .bib file

@inproceedings{DBLP:conf/iclp/Lopez-GarciaDB10,
  author    = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
               Luthfi Darmawan and
               Francisco Bueno},
  title     = {A Framework for Verification and Debugging of Resource Usage Properties:
               Resource Usage Verification},
  booktitle = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  year      = {2010},
  pages     = {104--113},
  crossref  = {DBLP:conf/iclp/2010},
  url       = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.104},
  doi       = {10.4230/LIPIcs.ICLP.2010.104},
  timestamp = {Fri, 24 Oct 2014 19:21:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/Lopez-GarciaDB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2010,
  editor    = {Manuel V. Hermenegildo and
               Torsten Schaub},
  title     = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series    = {LIPIcs},
  year      = {2010},
  volume    = {7},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10003},
  isbn      = {978-3-939897-17-0},
  timestamp = {Fri, 24 Oct 2014 19:21:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}