Merkliste 
 1 Ergebnisse 
 
1

Mechanical verification of the IEEE 1394a root contention p..:

Simons, David P.L. ; Stoelinga, Mariëlle I.A.
International Journal on Software Tools for Technology Transfer.  3 (2001)  4 - p. 469-485 , 2001