Searching for "A Timed Verification of the IEEE 1394 Leader Election Protocol." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A timed verification of the IEEE 1394 leader election protocol
by Judi Romijn — 2001 — FORMAL METHODS IN SYSTEM DESIGN
… 4199 A Timed Verification of the IEEE 1394 Leader Election Protocol ∗ ABSTRACT Judi Romijn CWI P.O. Box…
Cited by 13 (0 self) – Add To MetaCart

Proofs from A Timed Verification of the IEEE 1394 Leader Election Protocol
by Judi Romijn
…Proofs from A Timed Verication of the IEEE 1394 Leader Election Protocol Judi Romijn Computing…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB