Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Xiao Han
Publications with FICTION
Book Chapters
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
Cite
×