Martin Fränzle, Mingshuai Chen, Paul Kröger. In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. SIGLOG News, 6(1):19-39, 2019. [doi]
@article{FranzleCK19,
title = {In memory of Oded Maler: automatic reachability analysis of hybrid-state automata},
author = {Martin Fränzle and Mingshuai Chen and Paul Kröger},
year = {2019},
doi = {10.1145/3313909.3313913},
url = {https://doi.org/10.1145/3313909.3313913},
researchr = {https://researchr.org/publication/FranzleCK19},
cites = {0},
citedby = {0},
journal = {SIGLOG News},
volume = {6},
number = {1},
pages = {19-39},
}