Juan Roig, Pedro, Salvador Alcaraz, and Katja Gilly. “Formal Specification of Spanning Tree Protocol Using ACP”. Elektronika ir Elektrotechnika 23, no. 2 (April 20, 2017): 84-91. Accessed June 14, 2024. https://eejournal.ktu.lt/index.php/elt/article/view/18005.