ARSLAN, Farrukh; HAMEED, Sana; IMRAN, Naveed; FAHEEM, Zaid Bin; ALI, Mubashir. Enhancing Card Swipe Machines using Mathematical Model with JFLAP Formal Methods and Automation: A Mathematical Model with JFLAP. VAWKUM Transactions on Computer Sciences, [S. l.], v. 11, n. 1, p. 108–122, 2023. DOI: 10.21015/vtm.v11i1.1208. Disponível em: https://vfast.org/journals/index.php/VTCS/article/view/1436. Acesso em: 14 may. 2026.