@inproceedings{conf/tacas/HeizmannCDEHLNSP13,
  added-at = {2020-01-04T00:00:00.000+0100},
  author = {Heizmann, Matthias and Christ, Jürgen and Dietsch, Daniel and Ermis, Evren and Hoenicke, Jochen and Lindenmann, Markus and Nutz, Alexander and Schilling, Christian and Podelski, Andreas},
  biburl = {https://www.bibsonomy.org/bibtex/280a8414fb252c359a9d6d115d278b1f9/dblp},
  booktitle = {TACAS},
  crossref = {conf/tacas/2013},
  editor = {Piterman, Nir and Smolka, Scott A.},
  ee = {https://doi.org/10.1007/978-3-642-36742-7_53},
  interhash = {a51e55b6e48c3af5e6f011d894f16581},
  intrahash = {80a8414fb252c359a9d6d115d278b1f9},
  isbn = {978-3-642-36741-0},
  keywords = {dblp},
  pages = {641-643},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-01-07T11:42:54.000+0100},
  title = {Ultimate Automizer with SMTInterpol - (Competition Contribution).},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#HeizmannCDEHLNSP13},
  volume = 7795,
  year = 2013
}

{"_id":"v3bLDgWN2EqteFBPk","bibbaseid":"heizmann-christ-dietsch-ermis-hoenicke-lindenmann-nutz-schilling-etal-ultimateautomizerwithsmtinterpolcompetitioncontribution-2013","authorIDs":[],"author_short":["Heizmann, M.","Christ, J.","Dietsch, D.","Ermis, E.","Hoenicke, J.","Lindenmann, M.","Nutz, A.","Schilling, C.","Podelski, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-01-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Heizmann"],"firstnames":["Matthias"],"suffixes":[]},{"propositions":[],"lastnames":["Christ"],"firstnames":["Jürgen"],"suffixes":[]},{"propositions":[],"lastnames":["Dietsch"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Ermis"],"firstnames":["Evren"],"suffixes":[]},{"propositions":[],"lastnames":["Hoenicke"],"firstnames":["Jochen"],"suffixes":[]},{"propositions":[],"lastnames":["Lindenmann"],"firstnames":["Markus"],"suffixes":[]},{"propositions":[],"lastnames":["Nutz"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Podelski"],"firstnames":["Andreas"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/280a8414fb252c359a9d6d115d278b1f9/dblp","booktitle":"TACAS","crossref":"conf/tacas/2013","editor":[{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Scott","A."],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-36742-7_53","interhash":"a51e55b6e48c3af5e6f011d894f16581","intrahash":"80a8414fb252c359a9d6d115d278b1f9","isbn":"978-3-642-36741-0","keywords":"dblp","pages":"641-643","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2020-01-07T11:42:54.000+0100","title":"Ultimate Automizer with SMTInterpol - (Competition Contribution).","url":"http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#HeizmannCDEHLNSP13","volume":"7795","year":"2013","bibtex":"@inproceedings{conf/tacas/HeizmannCDEHLNSP13,\n added-at = {2020-01-04T00:00:00.000+0100},\n author = {Heizmann, Matthias and Christ, Jürgen and Dietsch, Daniel and Ermis, Evren and Hoenicke, Jochen and Lindenmann, Markus and Nutz, Alexander and Schilling, Christian and Podelski, Andreas},\n biburl = {https://www.bibsonomy.org/bibtex/280a8414fb252c359a9d6d115d278b1f9/dblp},\n booktitle = {TACAS},\n crossref = {conf/tacas/2013},\n editor = {Piterman, Nir and Smolka, Scott A.},\n ee = {https://doi.org/10.1007/978-3-642-36742-7_53},\n interhash = {a51e55b6e48c3af5e6f011d894f16581},\n intrahash = {80a8414fb252c359a9d6d115d278b1f9},\n isbn = {978-3-642-36741-0},\n keywords = {dblp},\n pages = {641-643},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-01-07T11:42:54.000+0100},\n title = {Ultimate Automizer with SMTInterpol - (Competition Contribution).},\n url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#HeizmannCDEHLNSP13},\n volume = 7795,\n year = 2013\n}\n\n","author_short":["Heizmann, M.","Christ, J.","Dietsch, D.","Ermis, E.","Hoenicke, J.","Lindenmann, M.","Nutz, A.","Schilling, C.","Podelski, A."],"editor_short":["Piterman, N.","Smolka, S. A."],"key":"conf/tacas/HeizmannCDEHLNSP13","id":"conf/tacas/HeizmannCDEHLNSP13","bibbaseid":"heizmann-christ-dietsch-ermis-hoenicke-lindenmann-nutz-schilling-etal-ultimateautomizerwithsmtinterpolcompetitioncontribution-2013","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-36742-7_53","Paper":"http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#HeizmannCDEHLNSP13"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.923Z","downloads":0,"keywords":["dblp"],"search_terms":["ultimate","automizer","smtinterpol","competition","contribution","heizmann","christ","dietsch","ermis","hoenicke","lindenmann","nutz","schilling","podelski"],"title":"Ultimate Automizer with SMTInterpol - (Competition Contribution).","year":2013,"dataSources":["wzaMXjDv6gdxH4D3T"]}