Journal Articles
International Journal on Software Tools for Technology Transfer
Year : 1998
Mihaela Sighireanu : Connect in order to contact the contributor
https://hal.science/hal-00109622
Submitted on : Wednesday, October 25, 2006-9:58:08 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Cite
Mihaela Sighireanu, Radu Mateescu. Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS. International Journal on Software Tools for Technology Transfer, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩. ⟨hal-00109622⟩
82
View
0
Download