External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Formal Modelling and Verification of Pervasive Computing Systems

Yan Liu 0012, Xian Zhang, Yang Liu 0003, Jin Song Dong, Jun Sun 0001, Jit Biswas, Mounir Mokhtari. Towards Formal Modelling and Verification of Pervasive Computing Systems. T. Computational Collective Intelligence, 16:62-91, 2014. [doi]

Authors

Yan Liu 0012

This author has not been identified. Look up 'Yan Liu 0012' in Google

Xian Zhang

This author has not been identified. Look up 'Xian Zhang' in Google

Yang Liu 0003

This author has not been identified. Look up 'Yang Liu 0003' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Jit Biswas

This author has not been identified. Look up 'Jit Biswas' in Google

Mounir Mokhtari

This author has not been identified. Look up 'Mounir Mokhtari' in Google
runs on