Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2013). Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. In M. P. Bonacina (Ed.), Automated Deduction - CADE-24 (pp. 360-376). Berlin: Springer. doi:10.1007/978-3-642-38574-2_25.