Yasir Malik, Bessam Abdulrazak. Towards Verifying Service Interoperability Requirements for Pervasive Computing Environments. In César Benavente-Peces, Falah H. Ali, Joaquim Filipe, editors, PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012. pages 220-223, SciTePress, 2012.
@inproceedings{MalikA12-0,
title = {Towards Verifying Service Interoperability Requirements for Pervasive Computing Environments},
author = {Yasir Malik and Bessam Abdulrazak},
year = {2012},
researchr = {https://researchr.org/publication/MalikA12-0},
cites = {0},
citedby = {0},
pages = {220-223},
booktitle = {PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012},
editor = {César Benavente-Peces and Falah H. Ali and Joaquim Filipe},
publisher = {SciTePress},
isbn = {978-989-8565-00-6},
}