Automatic verification of the IEEE 1394 root contention protocol with (2004)

by C Daws, M Kwiatkowska, G Norman
Venue:Kronos and PRISM, International Journal on Software Tools for Technology Transfer (STTT