%0 Journal Article %1 journals/siglog/FranzleCK19 %A Fränzle, Martin %A Chen, Mingshuai %A Kröger, Paul %D 2019 %J ACM SIGLOG News %K dblp %N 1 %P 19-39 %T In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. %U http://dblp.uni-trier.de/db/journals/siglog/siglog6.html#FranzleCK19 %V 6

@article{journals/siglog/FranzleCK19, added-at = {2020-05-27T00:00:00.000+0200}, author = {Fränzle, Martin and Chen, Mingshuai and Kröger, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2ba2de9cceb3f3fd3c9bed94eaff6d3ae/dblp}, ee = {https://doi.org/10.1145/3313909.3313913}, interhash = {1814594eed12997d0f0663ab0e40fde0}, intrahash = {ba2de9cceb3f3fd3c9bed94eaff6d3ae}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 1, pages = {19-39}, timestamp = {2020-05-28T11:38:31.000+0200}, title = {In memory of Oded Maler: automatic reachability analysis of hybrid-state automata.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog6.html#FranzleCK19}, volume = 6, year = 2019 }