Antonio Coronato, Giuseppe De Pietro. Formal specification of dependable pervasive applications. In Markus Kirchberg, Patrick C. K. Hung, Barbara Carminati, Chi-Hung Chi, Rajaraman Kanagasabai, Emanuele Della Valle, Kun-Chan Lan, Ling-Jyh Chen, editors, 4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings. pages 358-365, IEEE, 2009. [doi]
@inproceedings{CoronatoP09-1,
title = {Formal specification of dependable pervasive applications},
author = {Antonio Coronato and Giuseppe De Pietro},
year = {2009},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5394102&isnumber=5394078},
researchr = {https://researchr.org/publication/CoronatoP09-1},
cites = {0},
citedby = {0},
pages = {358-365},
booktitle = {4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings},
editor = {Markus Kirchberg and Patrick C. K. Hung and Barbara Carminati and Chi-Hung Chi and Rajaraman Kanagasabai and Emanuele Della Valle and Kun-Chan Lan and Ling-Jyh Chen},
publisher = {IEEE},
isbn = {978-1-4244-5336-8},
}