@inproceedings{conf/tacas/BartocciBBFGHHK19,
  added-at = {2019-05-12T00:00:00.000+0200},
  author = {Bartocci, Ezio and Beyer, Dirk and Black, Paul E. and Fedyukovich, Grigory and Garavel, Hubert and Hartmanns, Arnd and Huisman, Marieke and Kordon, Fabrice and Nagele, Julian and Sighireanu, Mihaela and Steffen, Bernhard and Suda, Martin and Sutcliffe, Geoff and Weber, Tjark and Yamada, Akihisa},
  biburl = {https://www.bibsonomy.org/bibtex/257e507330a6e6e5cf871b0b011416f6c/dblp},
  booktitle = {TACAS (3)},
  crossref = {conf/tacas/2019-3},
  editor = {Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, Bernhard},
  ee = {https://doi.org/10.1007/978-3-030-17502-3_1},
  interhash = {42c6729e31a05568ee114e1f45e2f028},
  intrahash = {57e507330a6e6e5cf871b0b011416f6c},
  isbn = {978-3-030-17502-3},
  keywords = {dblp},
  pages = {3-24},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:36:55.000+0200},
  title = {TOOLympics 2019: An Overview of Competitions in Formal Methods.},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-3.html#BartocciBBFGHHK19},
  volume = 11429,
  year = 2019
}

{"_id":"DEdPTf8i8BhBi3iz2","bibbaseid":"bartocci-beyer-black-fedyukovich-garavel-hartmanns-huisman-kordon-etal-toolympics2019anoverviewofcompetitionsinformalmethods-2019","authorIDs":["5d14be645b939dee01000058"],"author_short":["Bartocci, E.","Beyer, D.","Black, P. E.","Fedyukovich, G.","Garavel, H.","Hartmanns, A.","Huisman, M.","Kordon, F.","Nagele, J.","Sighireanu, M.","Steffen, B.","Suda, M.","Sutcliffe, G.","Weber, T.","Yamada, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-05-12T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bartocci"],"firstnames":["Ezio"],"suffixes":[]},{"propositions":[],"lastnames":["Beyer"],"firstnames":["Dirk"],"suffixes":[]},{"propositions":[],"lastnames":["Black"],"firstnames":["Paul","E."],"suffixes":[]},{"propositions":[],"lastnames":["Fedyukovich"],"firstnames":["Grigory"],"suffixes":[]},{"propositions":[],"lastnames":["Garavel"],"firstnames":["Hubert"],"suffixes":[]},{"propositions":[],"lastnames":["Hartmanns"],"firstnames":["Arnd"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Kordon"],"firstnames":["Fabrice"],"suffixes":[]},{"propositions":[],"lastnames":["Nagele"],"firstnames":["Julian"],"suffixes":[]},{"propositions":[],"lastnames":["Sighireanu"],"firstnames":["Mihaela"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Suda"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Sutcliffe"],"firstnames":["Geoff"],"suffixes":[]},{"propositions":[],"lastnames":["Weber"],"firstnames":["Tjark"],"suffixes":[]},{"propositions":[],"lastnames":["Yamada"],"firstnames":["Akihisa"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/257e507330a6e6e5cf871b0b011416f6c/dblp","booktitle":"TACAS (3)","crossref":"conf/tacas/2019-3","editor":[{"propositions":[],"lastnames":["Beyer"],"firstnames":["Dirk"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Kordon"],"firstnames":["Fabrice"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-030-17502-3_1","interhash":"42c6729e31a05568ee114e1f45e2f028","intrahash":"57e507330a6e6e5cf871b0b011416f6c","isbn":"978-3-030-17502-3","keywords":"dblp","pages":"3-24","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:36:55.000+0200","title":"TOOLympics 2019: An Overview of Competitions in Formal Methods.","url":"http://dblp.uni-trier.de/db/conf/tacas/tacas2019-3.html#BartocciBBFGHHK19","volume":"11429","year":"2019","bibtex":"@inproceedings{conf/tacas/BartocciBBFGHHK19,\n added-at = {2019-05-12T00:00:00.000+0200},\n author = {Bartocci, Ezio and Beyer, Dirk and Black, Paul E. and Fedyukovich, Grigory and Garavel, Hubert and Hartmanns, Arnd and Huisman, Marieke and Kordon, Fabrice and Nagele, Julian and Sighireanu, Mihaela and Steffen, Bernhard and Suda, Martin and Sutcliffe, Geoff and Weber, Tjark and Yamada, Akihisa},\n biburl = {https://www.bibsonomy.org/bibtex/257e507330a6e6e5cf871b0b011416f6c/dblp},\n booktitle = {TACAS (3)},\n crossref = {conf/tacas/2019-3},\n editor = {Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, Bernhard},\n ee = {https://doi.org/10.1007/978-3-030-17502-3_1},\n interhash = {42c6729e31a05568ee114e1f45e2f028},\n intrahash = {57e507330a6e6e5cf871b0b011416f6c},\n isbn = {978-3-030-17502-3},\n keywords = {dblp},\n pages = {3-24},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:36:55.000+0200},\n title = {TOOLympics 2019: An Overview of Competitions in Formal Methods.},\n url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-3.html#BartocciBBFGHHK19},\n volume = 11429,\n year = 2019\n}\n\n","author_short":["Bartocci, E.","Beyer, D.","Black, P. E.","Fedyukovich, G.","Garavel, H.","Hartmanns, A.","Huisman, M.","Kordon, F.","Nagele, J.","Sighireanu, M.","Steffen, B.","Suda, M.","Sutcliffe, G.","Weber, T.","Yamada, A."],"editor_short":["Beyer, D.","Huisman, M.","Kordon, F.","Steffen, B."],"key":"conf/tacas/BartocciBBFGHHK19","id":"conf/tacas/BartocciBBFGHHK19","bibbaseid":"bartocci-beyer-black-fedyukovich-garavel-hartmanns-huisman-kordon-etal-toolympics2019anoverviewofcompetitionsinformalmethods-2019","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-030-17502-3_1","Paper":"http://dblp.uni-trier.de/db/conf/tacas/tacas2019-3.html#BartocciBBFGHHK19"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.029Z","downloads":0,"keywords":["dblp"],"search_terms":["toolympics","2019","overview","competitions","formal","methods","bartocci","beyer","black","fedyukovich","garavel","hartmanns","huisman","kordon","nagele","sighireanu","steffen","suda","sutcliffe","weber","yamada"],"title":"TOOLympics 2019: An Overview of Competitions in Formal Methods.","year":2019,"dataSources":["sAaBbgDRpNpcvbGWj"]}