%0 Conference Paper %1 conf/frocos/DammHS15 %A Damm, Werner %A Horbach, Matthias %A Sofronie-Stokkermans, Viorica %B FroCos %D 2015 %E Lutz, Carsten %E Ranise, Silvio %I Springer %K %P 186-202 %T Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#DammHS15 %V 9322 %@ 978-3-319-24245-3

@inproceedings{conf/frocos/DammHS15, added-at = {2023-12-13T07:33:25.000+0100}, author = {Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica}, biburl = {https://www.bibsonomy.org/bibtex/25e60f27805ab16b786f2adba60ff4070/admin}, booktitle = {FroCos}, crossref = {conf/frocos/2015}, editor = {Lutz, Carsten and Ranise, Silvio}, ee = {https://doi.org/10.1007/978-3-319-24246-0_12}, interhash = {ba74b315af98dc9545553587744ae168}, intrahash = {5e60f27805ab16b786f2adba60ff4070}, isbn = {978-3-319-24245-3}, keywords = {}, pages = {186-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:33:25.000+0100}, title = {Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#DammHS15}, volume = 9322, year = 2015 }