Antonio Coronato, Giuseppe De Pietro. Formal Specification and Verification of Ubiquitous and Pervasive Systems. TAAS, 6(1):9, 2011. [doi]
@article{CoronatoP11, title = {Formal Specification and Verification of Ubiquitous and Pervasive Systems}, author = {Antonio Coronato and Giuseppe De Pietro}, year = {2011}, url = {http://doi.acm.org/1921641.1921650}, researchr = {https://researchr.org/publication/CoronatoP11}, cites = {0}, citedby = {0}, journal = {TAAS}, volume = {6}, number = {1}, pages = {9}, }