%0 Journal Article %1 journals/sttt/GurungRBBG19 %A Gurung, Amit %A Ray, Rajarshi %A Bartocci, Ezio %A Bogomolov, Sergiy %A Grosu, Radu %D 2019 %J STTT %K dblp %N 4 %P 401-423 %T Parallel reachability analysis of hybrid systems in XSpeed. %U http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#GurungRBBG19 %V 21

@article{journals/sttt/GurungRBBG19, added-at = {2019-09-16T00:00:00.000+0200}, author = {Gurung, Amit and Ray, Rajarshi and Bartocci, Ezio and Bogomolov, Sergiy and Grosu, Radu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21a9535539a8ca99a57a6018e1ebbb1ea/dblp}, ee = {https://doi.org/10.1007/s10009-018-0485-6}, interhash = {c2554b039fc9c2d24958bcfc0346a1a6}, intrahash = {1a9535539a8ca99a57a6018e1ebbb1ea}, journal = {STTT}, keywords = {dblp}, number = 4, pages = {401-423}, timestamp = {2019-09-27T08:37:56.000+0200}, title = {Parallel reachability analysis of hybrid systems in XSpeed.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#GurungRBBG19}, volume = 21, year = 2019 }