CAP Project

[YanJLWZ16] Approximate Bisimulation and Discretization of Hybrid CSP Yan, G.; Jiao, L.; Li, Y.; Wang, S. and Zhan, N. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 702-720, Lecture Notes in Computer Science 9995, 2016.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-48989-6_43