Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
From MaRDI portal
Publication:1402474
DOI10.1007/s001650300004zbMath1029.68013WikidataQ59675403 ScholiaQ59675403MaRDI QIDQ1402474
Muffy Calder, Alice Ann Miller
Publication date: 27 August 2003
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650300004
68M12: Network protocols
Uses Software