Roig PJ, Alcaraz S, Gilly K, Juiz C. Study on OSPF Algebraic Formal Modelling Using ACP. ELEKTRON ELEKTROTECH [Internet]. 2018Aug.20 [cited 2024Apr.27];24(4):77-83. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/21484