BibTeX record conf/tacas/HeizmannST17

download as .bib file

@inproceedings{DBLP:conf/tacas/HeizmannST17,
  author    = {Matthias Heizmann and
               Christian Schilling and
               Daniel Tischner},
  title     = {Minimization of Visibly Pushdown Automata Using Partial Max-SAT},
  booktitle = {{TACAS} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10205},
  pages     = {461--478},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics