%0 Conference Paper %1 conf/hybrid/BogomolovFFPS19 %A Bogomolov, Sergiy %A Forets, Marcelo %A Frehse, Goran %A Potomkin, Kostiantyn %A Schilling, Christian %B HSCC %D 2019 %E Ozay, Necmiye %E Prabhakar, Pavithra %I ACM %K dblp %P 39-44 %T JuliaReach: a toolbox for set-based reachability. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFFPS19 %@ 978-1-4503-6282-5

@inproceedings{conf/hybrid/BogomolovFFPS19, added-at = {2020-12-29T00:00:00.000+0100}, author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian}, biburl = {https://www.bibsonomy.org/bibtex/236c1ebaee3fcae364944e82a8038aef2/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2019}, editor = {Ozay, Necmiye and Prabhakar, Pavithra}, 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 = {2024-04-10T10:15:44.000+0200}, title = {JuliaReach: a toolbox for set-based reachability.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#BogomolovFFPS19}, year = 2019 }