Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Damm, W., Horbach, M., & Sofronie-Stokkermans, V. (2015). Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. In C. Lutz, & S. Ranise (Eds.), Frontiers of Combining Systems (pp. 186-202). Berlin: Springer. doi:10.1007/978-3-319-24246-0_12.