Juan Roig, Pedro

• Elektronika ir Elektrotechnika Vol. 23 No. 2 (2017) - TELECOMMUNICATIONS ENGINEERING
  Formal Specification of Spanning Tree Protocol Using ACP
  Abstract  PDF