Recent developments in theory and tool support for hybrid systems verification with HyPro

Schupp, Stefan (Corresponding author); Ábrahám, Erika; Ebert, Tristan

Amsterdam : Elsevier (2022)
Buchbeitrag, Fachzeitschriftenartikel

In: Information and Computation
Band: 289
Heft: Part A
Seite(n)/Artikel-Nr.: 104945