Towards Formal Modelling and Verification of Pervasive Computing Systems. Liu, Y., Zhang, X., Liu, Y., Dong, J. S., Sun, J., Biswas, J., & Mokhtari, M. In Trans. Computational Collective Intelligence, volume 16, pages 62–91, 2014.
	title = {Towards {Formal} {Modelling} and {Verification} of {Pervasive} {Computing} {Systems}.},
	volume = {16},
	booktitle = {Trans. {Computational} {Collective} {Intelligence}},
	author = {Liu, Yan and Zhang, Xian and Liu, Yang and Dong, Jin Song and Sun, Jun and Biswas, Jit and Mokhtari, Mounir},
	year = {2014},
	keywords = {⛔ No DOI found},
	pages = {62--91},

Downloads: 0