@inproceedings{conf/tacas/HeizmannCDHLMSWP14,
  added-at = {2020-01-04T00:00:00.000+0100},
  author = {Heizmann, Matthias and Christ, Jürgen and Dietsch, Daniel and Hoenicke, Jochen and Lindenmann, Markus and Musa, Betim and Schilling, Christian and Wissert, Stefan and Podelski, Andreas},
  biburl = {https://www.bibsonomy.org/bibtex/238a41870d9465b3327989d0692a7f117/dblp},
  booktitle = {TACAS},
  crossref = {conf/tacas/2014},
  editor = {Ábrahám, Erika and Havelund, Klaus},
  ee = {https://doi.org/10.1007/978-3-642-54862-8_35},
  interhash = {e3981c85086d5ea161fa2ca2329fd149},
  intrahash = {38a41870d9465b3327989d0692a7f117},
  isbn = {978-3-642-54861-1},
  keywords = {dblp},
  pages = {418-420},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-01-07T11:42:54.000+0100},
  title = {Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#HeizmannCDHLMSWP14},
  volume = 8413,
  year = 2014
}

{"_id":"roD56aEJHxmngoZmX","bibbaseid":"heizmann-christ-dietsch-hoenicke-lindenmann-musa-schilling-wissert-etal-ultimateautomizerwithunsatisfiablecorescompetitioncontribution-2014","authorIDs":[],"author_short":["Heizmann, M.","Christ, J.","Dietsch, D.","Hoenicke, J.","Lindenmann, M.","Musa, B.","Schilling, C.","Wissert, S.","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":["Hoenicke"],"firstnames":["Jochen"],"suffixes":[]},{"propositions":[],"lastnames":["Lindenmann"],"firstnames":["Markus"],"suffixes":[]},{"propositions":[],"lastnames":["Musa"],"firstnames":["Betim"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Wissert"],"firstnames":["Stefan"],"suffixes":[]},{"propositions":[],"lastnames":["Podelski"],"firstnames":["Andreas"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/238a41870d9465b3327989d0692a7f117/dblp","booktitle":"TACAS","crossref":"conf/tacas/2014","editor":[{"propositions":[],"lastnames":["Ábrahám"],"firstnames":["Erika"],"suffixes":[]},{"propositions":[],"lastnames":["Havelund"],"firstnames":["Klaus"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-54862-8_35","interhash":"e3981c85086d5ea161fa2ca2329fd149","intrahash":"38a41870d9465b3327989d0692a7f117","isbn":"978-3-642-54861-1","keywords":"dblp","pages":"418-420","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2020-01-07T11:42:54.000+0100","title":"Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).","url":"http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#HeizmannCDHLMSWP14","volume":"8413","year":"2014","bibtex":"@inproceedings{conf/tacas/HeizmannCDHLMSWP14,\n added-at = {2020-01-04T00:00:00.000+0100},\n author = {Heizmann, Matthias and Christ, Jürgen and Dietsch, Daniel and Hoenicke, Jochen and Lindenmann, Markus and Musa, Betim and Schilling, Christian and Wissert, Stefan and Podelski, Andreas},\n biburl = {https://www.bibsonomy.org/bibtex/238a41870d9465b3327989d0692a7f117/dblp},\n booktitle = {TACAS},\n crossref = {conf/tacas/2014},\n editor = {Ábrahám, Erika and Havelund, Klaus},\n ee = {https://doi.org/10.1007/978-3-642-54862-8_35},\n interhash = {e3981c85086d5ea161fa2ca2329fd149},\n intrahash = {38a41870d9465b3327989d0692a7f117},\n isbn = {978-3-642-54861-1},\n keywords = {dblp},\n pages = {418-420},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-01-07T11:42:54.000+0100},\n title = {Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).},\n url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#HeizmannCDHLMSWP14},\n volume = 8413,\n year = 2014\n}\n\n","author_short":["Heizmann, M.","Christ, J.","Dietsch, D.","Hoenicke, J.","Lindenmann, M.","Musa, B.","Schilling, C.","Wissert, S.","Podelski, A."],"editor_short":["Ábrahám, E.","Havelund, K."],"key":"conf/tacas/HeizmannCDHLMSWP14","id":"conf/tacas/HeizmannCDHLMSWP14","bibbaseid":"heizmann-christ-dietsch-hoenicke-lindenmann-musa-schilling-wissert-etal-ultimateautomizerwithunsatisfiablecorescompetitioncontribution-2014","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-54862-8_35","Paper":"http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#HeizmannCDHLMSWP14"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.925Z","downloads":0,"keywords":["dblp"],"search_terms":["ultimate","automizer","unsatisfiable","cores","competition","contribution","heizmann","christ","dietsch","hoenicke","lindenmann","musa","schilling","wissert","podelski"],"title":"Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).","year":2014,"dataSources":["wzaMXjDv6gdxH4D3T"]}