𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k

✍ Scribed by David P.L. Simons; Mariëlle I.A. Stoelinga


Publisher
Springer
Year
2001
Tongue
English
Weight
331 KB
Volume
3
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES