Ammar Alsaig, Vangalur S. Alagar, Nematollaah Shiri. Declarative Approach to Model Checking for Context-Aware Applications. In Phan Cong Vinh, Abdur Rakib, editors, Context-Aware Systems and Applications, and Nature of Computation and Communication - 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings. Volume 298 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 3-10, Springer, 2019. [doi]
@inproceedings{AlsaigAS19,
title = {Declarative Approach to Model Checking for Context-Aware Applications},
author = {Ammar Alsaig and Vangalur S. Alagar and Nematollaah Shiri},
year = {2019},
doi = {10.1007/978-3-030-34365-1_1},
url = {https://doi.org/10.1007/978-3-030-34365-1_1},
researchr = {https://researchr.org/publication/AlsaigAS19},
cites = {0},
citedby = {0},
pages = {3-10},
booktitle = {Context-Aware Systems and Applications, and Nature of Computation and Communication - 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings},
editor = {Phan Cong Vinh and Abdur Rakib},
volume = {298},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
publisher = {Springer},
isbn = {978-3-030-34365-1},
}