Juan Roig P, Alcaraz S, Gilly K. Formal Specification of Spanning Tree Protocol Using ACP. ELEKTRON ELEKTROTECH [Internet]. 2017 Apr. 20 [cited 2026 Jan. 23];23(2):84-91. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/18005