@article{615d8deaf3af49ab8031bae2d3c16884,
title = "Introduction to special section on formal methods in pervasive computing",
keywords = "Design- and run-time verification, Formal modeling, Pervasive and ubiquitous computing, Design- and run-time verification, Formal modeling, Pervasive and ubiquitous computing, Design- and run-time verification, Formal modeling, Pervasive and ubiquitous computing",
author = "Mohamed Bakhouya and Campbell, \{Roy H.\} and Antonio Coronato and \{De Pietro\}, Giuseppe and Anand Ranganathan",
year = "2012",
doi = "10.1145/2168260.2168266",
language = "English",
volume = "7",
pages = "1--9",
journal = "ACM Transactions on Autonomous and Adaptive Systems",
issn = "1556-4665",
publisher = "ACM",
number = "1",
}