JASIM AL-FARTTOOSI, DAWOOD SALMAN. Formal model and Policy specification for software defined networks. Journal of Kufa for Mathematics and Computer, [S. l.], v. 3, n. 2, p. 55–62, 2016. DOI: 10.31642/JoKMC/2018/030207. Disponível em: https://journal.uokufa.edu.iq/index.php/jkmc/article/view/2119. Acesso em: 17 may. 2024.