Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle. A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. LITES, 8(2), 2022. [doi]
@article{KamburjanMH22,
title = {A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems},
author = {Eduard Kamburjan and Stefan Mitsch and Reiner Hähnle},
year = {2022},
doi = {10.4230/LITES.8.2.4},
url = {https://doi.org/10.4230/LITES.8.2.4},
researchr = {https://researchr.org/publication/KamburjanMH22},
cites = {0},
citedby = {0},
journal = {LITES},
volume = {8},
number = {2},
}