On Invariant Synthesis for Parametric Systems.
CADE. 2019 S. 385 - 405
Erscheinungsjahr: 2019
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-030-29436-6_23
Geprüft | Bibliothek |
CADE. 2019 S. 385 - 405
Erscheinungsjahr: 2019
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-030-29436-6_23
Geprüft | Bibliothek |