%0 Journal Article %1 journals/corr/DammHS16 %A Damm, Werner %A Horbach, Matthias %A Sofronie-Stokkermans, Viorica %D 2016 %J CoRR %K %T Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. %U http://dblp.uni-trier.de/db/journals/corr/corr1601.html#DammHS16 %V abs/1601.01648

@article{journals/corr/DammHS16, added-at = {2023-12-12T18:28:12.000+0100}, author = {Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica}, biburl = {https://www.bibsonomy.org/bibtex/2c966ea1346e7fd351b5d11529821eecb/admin}, ee = {http://arxiv.org/abs/1601.01648}, interhash = {12b880390dbf4b27367f2d0eac524e15}, intrahash = {c966ea1346e7fd351b5d11529821eecb}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T18:28:12.000+0100}, title = {Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1601.html#DammHS16}, volume = {abs/1601.01648}, year = 2016 }