BibTeX record conf/iclp/BanbaraTI12

download as .bib file

@inproceedings{DBLP:conf/iclp/BanbaraTI12,
  author    = {Mutsunori Banbara and
               Naoyuki Tamura and
               Katsumi Inoue},
  title     = {Generating Event-Sequence Test Cases by Answer Set Programming with
               the Incidence Matrix},
  booktitle = {Technical Communications of the 28th International Conference on Logic
               Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  pages     = {86--97},
  year      = {2012},
  crossref  = {DBLP:conf/iclp/2012},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2012.86},
  doi       = {10.4230/LIPIcs.ICLP.2012.86},
  timestamp = {Fri, 30 Nov 2018 13:32:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/BanbaraTI12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2012,
  editor    = {Agostino Dovier and
               V{\'{\i}}tor Santos Costa},
  title     = {Technical Communications of the 28th International Conference on Logic
               Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  series    = {LIPIcs},
  volume    = {17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12008},
  isbn      = {978-3-939897-43-9},
  timestamp = {Thu, 05 Dec 2013 17:22:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics