JUAN ROIG, P.; ALCARAZ, S.; GILLY, K. Formal Specification of Spanning Tree Protocol Using ACP. Elektronika ir Elektrotechnika, [S. l.], v. 23, n. 2, p. 84-91, 2017. DOI: 10.5755/j01.eie.23.2.18005. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/18005. Acesso em: 14 jun. 2024.