selected publications
-
chapter
- Towards Formal Modelling and Verification of Pervasive Computing Systems. Lecture notes in computer science. 62-91. 2014
Close
Liu, Y.
Positions
Publications
Contact
full name
- Y. Liu
Publications in VIVO
Co-author Network