BOUAFIA, K.; MOLNÁR, B. Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements. Journal of Applied Business and Economics, [S. l.], v. 22, n. 9, 2020. DOI: 10.33423/jabe.v22i9.3686. Disponível em: https://articlegateway.com/index.php/JABE/article/view/3686. Acesso em: 2 may. 2024.