Veri cation of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): an Experiment with E-LOTOS (1998)

by M Sighireanu, R Mateescu
Venue:Springer International Journal on Software Tools for Technology Transfer (STTT