Li Jiao

Approximate Bisimulation and Discretization of Hybrid CSP pdf

Naijun Zhan, Shuling Wang, Yangjia Li, 2016, FM.

Mapping computer vision research in construction: Developments, knowledge gaps and implications for research

Peter E.D. Love, Heng Li, Hanbin Luo, 2019, Automation in Construction.

Synthesizing SystemC Code from Delay Hybrid CSP

Naijun Zhan, Shuling Wang, Gaogao Yan, 2017, APLAS.