@incollectiondammfrocos15, Author = {Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica}, Title = {Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata}, Year = {2015}, Pages = {186-202}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Booktitle = {Frontiers of Combining Systems}, Doi = {10.1007/978-3-319-24246-0_12}, type = {incollection} @COMMENTBibtex file generated on