AHMAD, Zaheer; AHMAD, F; NASEER, Mudasser. TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS. VFAST Transactions on Software Engineering, [S. l.], v. 3, n. 1, p. 13–17, 2015. DOI: 10.21015/vtse.v6i2.328. Disponível em: https://vfast.org/journals/index.php/VTSE/article/view/328. Acesso em: 24 apr. 2026.