Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsmonat/-jahr | 04.2021 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-030-72013-1 ISSN: 0302-9743 KITopen-ID: 1000174210 |
Erschienen in | Tools and Algorithms for the Construction and Analysis of Systems – 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II. Ed.: J. Groote |
Veranstaltung | 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Stadt Luxemburg, Luxemburg, 27.03.2021 – 01.04.2021 |
Verlag | Springer International Publishing |
Seiten | 181–199 |
Serie | Lecture Notes in Computer Science (LNCS) ; 12652 |
Vorab online veröffentlicht am | 23.03.2021 |
Schlagwörter | differential equations, stability, differential dynamic logic |
Nachgewiesen in | Dimensions |