@article{franzle:2019:mom:3313909.3313913,
Author = {Fränzle, Martin and Chen, Mingshuai and Kröger, Paul},
Title = {In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-state Automata},

Journal = {ACM SIGLOG News},
Year = {2019},
Pages = {19-39},
Publisher = {ACM},
Doi = {10.1145/3313909.3313913},
type = {article}
}
@COMMENT{Bibtex file generated on }