Roig, Pedro Juan, Salvador Alcaraz, Katja Gilly, and Carlos Juiz. “Study on OSPF Algebraic Formal Modelling Using ACP”. Elektronika ir Elektrotechnika 24, no. 4 (August 20, 2018): 77–83. Accessed January 23, 2026. https://eejournal.ktu.lt/index.php/elt/article/view/21484.