@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 }