Formal Verification of Simulink/Stateflow Diagrams Naijun Zhan, Shuling Wang, Hengjun Zhao E-Book (pdf)

Lifestyle Change and Transport in China Pengjun Zhao, Di Lyu E-Book (pdf)

Rural Transition and Transport in China Pengjun Zhao, Haoyu Hu E-Book (pdf)