Juan Roig, P., Alcaraz, S., & Gilly, K. (2017). Formal Specification of Spanning Tree Protocol Using ACP. Elektronika Ir Elektrotechnika, 23(2), 84-91. https://doi.org/10.5755/j01.eie.23.2.18005