BibTeX record conf/tacas/HeizmannCDGHLNM18

download as .bib file

@inproceedings{DBLP:conf/tacas/HeizmannCDGHLNM18,
  author    = {Matthias Heizmann and
               Yu{-}Fang Chen and
               Daniel Dietsch and
               Marius Greitschus and
               Jochen Hoenicke and
               Yong Li and
               Alexander Nutz and
               Betim Musa and
               Christian Schilling and
               Tanja Schindler and
               Andreas Podelski},
  title     = {Ultimate Automizer and the Search for Perfect Interpolants - (Competition
               Contribution)},
  booktitle = {{TACAS} {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10806},
  pages     = {447--451},
  publisher = {Springer},
  year      = {2018}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics