In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata
Fränzle, Martin and Chen, Mingshuai and Kröger, Paul
ACM SIGLOG News
February / 2019
article
ACM
19-39
OFFIS Autoren
