Roig, Pedro Juan, Salvador Alcaraz, Katja Gilly, and Carlos Juiz. 2018. “Study on OSPF Algebraic Formal Modelling Using ACP”. Elektronika Ir Elektrotechnika 24 (4):77-83. https://doi.org/10.5755/j01.eie.24.4.21484.