In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata

BIB
Fränzle, Martin and Chen, Mingshuai and Kröger, Paul
ACM SIGLOG News
February / 2019
article
ACM
19-39