Hengjun Zhao

Publications with FICTION

Book Chapters

1. Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou (2017). MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. ProCoS. PDF Cite Code DOI