Roig PJ, Alcaraz S, Gilly K, Juiz C. Study on OSPF Algebraic Formal Modelling Using ACP. ELEKTRON ELEKTROTECH. 2018;24(4):77-83. doi:10.5755/j01.eie.24.4.21484