Correction to: Differential Dynamic Logic for Hybrid Systems
Crossref DOI link: https://doi.org/10.1007/s10817-021-09608-w
Published Online: 2021-11-15
Published Print: 2022-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Platzer, André
Text and Data Mining valid from 2021-11-15
Version of Record valid from 2021-11-15
Article History
First Online: 15 November 2021