✦ LIBER ✦

A Timed Verification of the IEEE 1394 Leader Election Protocol

✍ Scribed by Judi Romijn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of a Leader Election Protoc

✍ Marco Devillers; David Griffioen; Judi Romijn; Frits Vaandrager 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 97 KB

The Leader Election Protocol of IEEE 139

✍ Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 198 KB

Mechanical verification of the IEEE 1394

✍ David P.L. Simons; Mariëlle I.A. Stoelinga 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 331 KB

Automatic Verification of the IEEE-1394

✍ Conrado Daws; Marta Kwiatkowska; Gethin Norman 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Specification and Verification of the Tr

✍ Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 168 KB

Fun with FireWire: A Comparative Study o

✍ Mariëlle Stoelinga 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 113 KB