BibTeX record conf/medi/GePC14

download as .bib file

@inproceedings{DBLP:conf/medi/GePC14,
  author    = {Ning Ge and
               Marc Pantel and
               Xavier Cr{\'{e}}gut},
  editor    = {Yamine A{\"{\i}}t Ameur and
               Ladjel Bellatreche and
               George A. Papadopoulos},
  title     = {Automated Failure Analysis in Model Checking Based on Data Mining},
  booktitle = {Model and Data Engineering - 4th International Conference, {MEDI}
               2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8748},
  pages     = {13--28},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11587-0\_4},
  doi       = {10.1007/978-3-319-11587-0\_4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/medi/GePC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics