Mohamed Bakhouya, Roy H. Campbell, Antonio Coronato, Giuseppe De Pietro, Anand Ranganathan. Introduction to special section on formal methods in pervasive computing. TAAS, 7(1):6, 2012. [doi]
@article{BakhouyaCCPR12,
title = {Introduction to special section on formal methods in pervasive computing},
author = {Mohamed Bakhouya and Roy H. Campbell and Antonio Coronato and Giuseppe De Pietro and Anand Ranganathan},
year = {2012},
doi = {10.1145/2168260.2168266},
url = {http://doi.acm.org/10.1145/2168260.2168266},
researchr = {https://researchr.org/publication/BakhouyaCCPR12},
cites = {0},
citedby = {0},
journal = {TAAS},
volume = {7},
number = {1},
pages = {6},
}