TY  - JOUR

T1  - IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale

JO  - Journal of Automated Reasoning

UR  - http://dx.doi.org/10.1007/s10817-024-09709-2

PY  - 2024/10/19

AU  - Huerta y Munive JJ

AU  - Foster S

AU  - Gleirscher M

AU  - Struth G

AU  - Pardillo Laursen C

AU  - Hickman T

ED  - 

DO  - DOI: 10.1007/s10817-024-09709-2

PB  - Springer Science and Business Media LLC

VL  - 68

IS  - 4

Y2  - 2024/12/22

ER  -