{"_id":"zy2PFXWDKzXM2LpiH","bibbaseid":"bogomolov-forets-frehse-potomkin-schilling-juliareachatoolboxforsetbasedreachability-2019","authorIDs":[],"author_short":["Bogomolov, S.","Forets, M.","Frehse, G.","Potomkin, K.","Schilling, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-01-04T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bogomolov"],"firstnames":["Sergiy"],"suffixes":[]},{"propositions":[],"lastnames":["Forets"],"firstnames":["Marcelo"],"suffixes":[]},{"propositions":[],"lastnames":["Frehse"],"firstnames":["Goran"],"suffixes":[]},{"propositions":[],"lastnames":["Potomkin"],"firstnames":["Kostiantyn"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/236c1ebaee3fcae364944e82a8038aef2/dblp","booktitle":"HSCC","crossref":"conf/hybrid/2019","editor":[{"propositions":[],"lastnames":["Ozay"],"firstnames":["Necmiye"],"suffixes":[]},{"propositions":[],"lastnames":["Prabhakar"],"firstnames":["Pavithra"],"suffixes":[]}],"ee":"https://doi.org/10.1145/3302504.3311804","interhash":"f2aa74550f3b5b1d130c919376cecea5","intrahash":"36c1ebaee3fcae364944e82a8038aef2","isbn":"978-1-4503-6282-5","keywords":"dblp","pages":"39-44","publisher":"ACM","timestamp":"2020-01-07T11:43:36.000+0100","title":"JuliaReach: a toolbox for set-based reachability.","url":"http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFFPS19","year":"2019","bibtex":"@inproceedings{conf/hybrid/BogomolovFFPS19,\n added-at = {2020-01-04T00:00:00.000+0100},\n author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian},\n biburl = {https://www.bibsonomy.org/bibtex/236c1ebaee3fcae364944e82a8038aef2/dblp},\n booktitle = {HSCC},\n crossref = {conf/hybrid/2019},\n editor = {Ozay, Necmiye and Prabhakar, Pavithra},\n ee = {https://doi.org/10.1145/3302504.3311804},\n interhash = {f2aa74550f3b5b1d130c919376cecea5},\n intrahash = {36c1ebaee3fcae364944e82a8038aef2},\n isbn = {978-1-4503-6282-5},\n keywords = {dblp},\n pages = {39-44},\n publisher = {ACM},\n timestamp = {2020-01-07T11:43:36.000+0100},\n title = {JuliaReach: a toolbox for set-based reachability.},\n url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFFPS19},\n year = 2019\n}\n\n","author_short":["Bogomolov, S.","Forets, M.","Frehse, G.","Potomkin, K.","Schilling, C."],"editor_short":["Ozay, N.","Prabhakar, P."],"key":"conf/hybrid/BogomolovFFPS19","id":"conf/hybrid/BogomolovFFPS19","bibbaseid":"bogomolov-forets-frehse-potomkin-schilling-juliareachatoolboxforsetbasedreachability-2019","role":"author","urls":{"Link":"https://doi.org/10.1145/3302504.3311804","Paper":"http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFFPS19"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.924Z","downloads":0,"keywords":["dblp"],"search_terms":["juliareach","toolbox","set","based","reachability","bogomolov","forets","frehse","potomkin","schilling"],"title":"JuliaReach: a toolbox for set-based reachability.","year":2019,"dataSources":["wzaMXjDv6gdxH4D3T"]}