A Logical Framework for the Representation and Verification of Context-aware Agents
Rakib, Abdur, Ul Haque, Hafiz MahfoozVolume:
19
Language:
english
Journal:
Mobile Networks and Applications
DOI:
10.1007/s11036-014-0520-0
Date:
October, 2014
File:
PDF, 1.09 MB
english, 2014