Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 702-720, 2016. [doi]
@inproceedings{YanJLWZ16,
title = {Approximate Bisimulation and Discretization of Hybrid CSP},
author = {Gaogao Yan and Li Jiao and Yangjia Li and Shuling Wang and Naijun Zhan},
year = {2016},
doi = {10.1007/978-3-319-48989-6_43},
url = {http://dx.doi.org/10.1007/978-3-319-48989-6_43},
researchr = {https://researchr.org/publication/YanJLWZ16},
cites = {0},
citedby = {0},
pages = {702-720},
booktitle = {FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings},
editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou},
volume = {9995},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-48988-9},
}