Roig, P.J., Alcaraz, S., Gilly, K. and Juiz, C. 2018. Study on OSPF Algebraic Formal Modelling Using ACP. Elektronika ir Elektrotechnika. 24, 4 (Aug. 2018), 77-83. DOI:https://doi.org/10.5755/j01.eie.24.4.21484.