Fabio Alberto Schreiber, Maria Elena Valcher. Formal assessment of some properties of Context-Aware Systems. ijngc [Internet]. 2019 Nov. 1 [cited 2024 May 5];10(3):163-77. Available from: http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/168