An axiomatic approach to existence and liveness for differential equations
Tan, Yong Kiam ; Platzer, André
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 01.08.2021 |
| Sprache | Englisch |
| Identifikator | ISSN: 0934-5043, 1433-299X KITopen-ID: 1000174212 |
| Erschienen in | Formal Aspects of Computing |
| Verlag | Springer |
| Band | 33 |
| Heft | 4-5 |
| Seiten | 461–518 |
| Nachgewiesen in | Web of Science Scopus Dimensions |