Sciweavers

JUCS
2007

108views more JUCS 2007»

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)

15 years 3 months ago

: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) deﬁnition, based on the algorithm that was proposed...

Hossein Hojjat, Hootan Nakhost, Marjan Sirjani

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers