der Zwaag. The tree identify protocol of (1998)

by C Shankland, M B van
Venue:IEEE 1394 in µCRL. Formal Aspects of Computing