%0 Journal Article %1 journals/iandc/BogomolovFFPS22 %A Bogomolov, Sergiy %A Forets, Marcelo %A Frehse, Goran %A Podelski, Andreas %A Schilling, Christian %D 2022 %J Inf. Comput. %K dblp %N Part %P 104937 %T Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). %U http://dblp.uni-trier.de/db/journals/iandc/iandc289.html#BogomolovFFPS22 %V 289

@article{journals/iandc/BogomolovFFPS22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Podelski, Andreas and Schilling, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2bb4f195eeed1ea22036b2c30de43bacd/dblp}, ee = {https://www.wikidata.org/entity/Q114172427}, interhash = {221b3499c0f74fe38876658fd1381f21}, intrahash = {bb4f195eeed1ea22036b2c30de43bacd}, journal = {Inf. Comput.}, keywords = {dblp}, number = {Part}, pages = 104937, timestamp = {2024-04-09T06:07:43.000+0200}, title = {Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc289.html#BogomolovFFPS22}, volume = 289, year = 2022 }