Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP
FM, 2016.
@inproceedings{FM-2016-YanJLWZ,
author = "Gaogao Yan and Li Jiao and Yangjia Li and Shuling Wang and Naijun Zhan",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_43",
isbn = "978-3-319-48988-9",
pages = "702--720",
title = "{Approximate Bisimulation and Discretization of Hybrid CSP}",
year = 2016,
}