Liu, Y., Zhang, X., Dong, J., Sun, J., Biswas, J., Mokhtari, M., & LABORATORIES, T. (2013). Formal analysis of pervasive computing systems.

Liu, Y., X. Zhang, J.S Dong, J. Sun, J. Biswas, M. Mokhtari, و TEMASEK LABORATORIES. Formal Analysis of Pervasive Computing Systems. 2013.

Liu, Y., et al. Formal Analysis of Pervasive Computing Systems. 2013.