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]
Abstract is missing.