NABET, Aicha; BOUDOUR, Rachid. BigNFC: Novel Formal model for NFC based context-aware applications. Informatica, [S. l.], v. 45, n. 5, 2021. DOI: 10.31449/inf.v45i5.3496. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/3496. Acesso em: 23 jun. 2025.