|
[SS01]
D. Simons and M. Stoelinga.
Mechanical Verification of the IEEE 1394a Root Contention Protocol using UPPAAL2k.
Software Tools for Technology Transfer, 3(4), pages 469--485, Springer.
2001.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|