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)
Journal Article

In: Information and Computation
Page(s)/Article-Nr.: 104945

Identifier