On Invariant Synthesis for Parametric Systems
Pascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 385 - 405
Erscheinungsjahr: 2019
ISBN/ISSN: 978-3-030-29435-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-030-29436-6_23
| Geprüft | Bibliothek |
