placeholder image

Zhang, Xian

Person

Positions

, National University of Singapore

selected publications

chapter
- Towards Formal Modelling and Verification of Pervasive Computing Systems. Lecture notes in computer science. 62-91. 2014
- Towards Formal Modelling and Verification of Pervasive Computing Systems. Lecture notes in computer science. 62-91. 2014

full name

Xian Zhang

Publications in VIVO

Co-author Network