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 April 26, 2024. https://eejournal.ktu.lt/index.php/elt/article/view/21484.