Showing 1 - 3 results of 3 for search 'Hähnle, Reiner', query time: 0.02s
Refine Results
-
1
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems by Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner
Published 2022-12-01
Article -
2
-
3