@inproceedings{Dan9,
title = {Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler },
author = {Dang, Thao},
year = {2019},
booktitle = {Hybrid Systems Biology - 6th International Workshop, {HSB} 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers},
pages = {16--29},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11705},
team = {axe_Mohytos, TEMPO},
}
