FABIO ALBERTO SCHREIBER; MARIA ELENA VALCHER. Formal assessment of some properties of Context-Aware Systems. International Journal of Next-Generation Computing, [S. l.], v. 10, n. 3, p. 163–177, 2019. DOI: 10.47164/ijngc.v10i3.168. Disponível em: http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/168. Acesso em: 5 may. 2024.