placeholder image

Zhang, Xian

Person

Positions

, National University of Singapore

selected publications

conference paper
- Formal Analysis of Pervasive Computing Systems. . 169-178. 2012

full name

Xian Zhang

Publications in VIVO

Co-author Network