LIU, Y., ZHANG, X., LIU, Y., DONG, J. S., SUN, J., BISWAS, J., & MOKHTARI, M. (2014). Towards formal modelling and verification of pervasive computing systems. Institutional Knowledge at Singapore Management University.
Chicago Style CitationLIU, Yan, Xian ZHANG, Yang LIU, Jin Song DONG, Jun SUN, Jit BISWAS, and Mounir MOKHTARI. Towards Formal Modelling and Verification of Pervasive Computing Systems. Institutional Knowledge at Singapore Management University, 2014.
MLA CitationLIU, Yan, et al. Towards Formal Modelling and Verification of Pervasive Computing Systems. Institutional Knowledge at Singapore Management University, 2014.
Warning: These citations may not always be 100% accurate.