@inproceedings{conf/tacas/GreitschusDHNSS17,
  added-at = {2020-01-04T00:00:00.000+0100},
  author = {Greitschus, Marius and Dietsch, Daniel and Heizmann, Matthias and Nutz, Alexander and Schätzle, Claus and Schilling, Christian and Schüssele, Frank and Podelski, Andreas},
  biburl = {https://www.bibsonomy.org/bibtex/2b739d81131dc74c4ae4c954d30451525/dblp},
  booktitle = {TACAS (2)},
  crossref = {conf/tacas/2017-2},
  editor = {Legay, Axel and Margaria, Tiziana},
  ee = {https://doi.org/10.1007/978-3-662-54580-5_31},
  interhash = {e1a9459e2e71cce480b08283ea6b1fed},
  intrahash = {b739d81131dc74c4ae4c954d30451525},
  isbn = {978-3-662-54580-5},
  keywords = {dblp},
  pages = {399-403},
  series = {Lecture Notes in Computer Science},
  timestamp = {2020-01-07T11:42:42.000+0100},
  title = {Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#GreitschusDHNSS17},
  volume = 10206,
  year = 2017
}

{"_id":"q7LdixDzfXDBJzwdb","bibbaseid":"greitschus-dietsch-heizmann-nutz-schtzle-schilling-schssele-podelski-ultimatetaipantraceabstractionandabstractinterpretationcompetitioncontribution-2017","authorIDs":[],"author_short":["Greitschus, M.","Dietsch, D.","Heizmann, M.","Nutz, A.","Schätzle, C.","Schilling, C.","Schüssele, F.","Podelski, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-01-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Greitschus"],"firstnames":["Marius"],"suffixes":[]},{"propositions":[],"lastnames":["Dietsch"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Heizmann"],"firstnames":["Matthias"],"suffixes":[]},{"propositions":[],"lastnames":["Nutz"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Schätzle"],"firstnames":["Claus"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Schüssele"],"firstnames":["Frank"],"suffixes":[]},{"propositions":[],"lastnames":["Podelski"],"firstnames":["Andreas"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b739d81131dc74c4ae4c954d30451525/dblp","booktitle":"TACAS (2)","crossref":"conf/tacas/2017-2","editor":[{"propositions":[],"lastnames":["Legay"],"firstnames":["Axel"],"suffixes":[]},{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-662-54580-5_31","interhash":"e1a9459e2e71cce480b08283ea6b1fed","intrahash":"b739d81131dc74c4ae4c954d30451525","isbn":"978-3-662-54580-5","keywords":"dblp","pages":"399-403","series":"Lecture Notes in Computer Science","timestamp":"2020-01-07T11:42:42.000+0100","title":"Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).","url":"http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#GreitschusDHNSS17","volume":"10206","year":"2017","bibtex":"@inproceedings{conf/tacas/GreitschusDHNSS17,\n added-at = {2020-01-04T00:00:00.000+0100},\n author = {Greitschus, Marius and Dietsch, Daniel and Heizmann, Matthias and Nutz, Alexander and Schätzle, Claus and Schilling, Christian and Schüssele, Frank and Podelski, Andreas},\n biburl = {https://www.bibsonomy.org/bibtex/2b739d81131dc74c4ae4c954d30451525/dblp},\n booktitle = {TACAS (2)},\n crossref = {conf/tacas/2017-2},\n editor = {Legay, Axel and Margaria, Tiziana},\n ee = {https://doi.org/10.1007/978-3-662-54580-5_31},\n interhash = {e1a9459e2e71cce480b08283ea6b1fed},\n intrahash = {b739d81131dc74c4ae4c954d30451525},\n isbn = {978-3-662-54580-5},\n keywords = {dblp},\n pages = {399-403},\n series = {Lecture Notes in Computer Science},\n timestamp = {2020-01-07T11:42:42.000+0100},\n title = {Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).},\n url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#GreitschusDHNSS17},\n volume = 10206,\n year = 2017\n}\n\n","author_short":["Greitschus, M.","Dietsch, D.","Heizmann, M.","Nutz, A.","Schätzle, C.","Schilling, C.","Schüssele, F.","Podelski, A."],"editor_short":["Legay, A.","Margaria, T."],"key":"conf/tacas/GreitschusDHNSS17","id":"conf/tacas/GreitschusDHNSS17","bibbaseid":"greitschus-dietsch-heizmann-nutz-schtzle-schilling-schssele-podelski-ultimatetaipantraceabstractionandabstractinterpretationcompetitioncontribution-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-662-54580-5_31","Paper":"http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#GreitschusDHNSS17"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.930Z","downloads":0,"keywords":["dblp"],"search_terms":["ultimate","taipan","trace","abstraction","abstract","interpretation","competition","contribution","greitschus","dietsch","heizmann","nutz","schätzle","schilling","schüssele","podelski"],"title":"Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).","year":2017,"dataSources":["wzaMXjDv6gdxH4D3T"]}