Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sighireanu, M., Mateescu, R. Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS. STTT 2, 68–88 (1998). https://doi.org/10.1007/s100090050018
Issue Date:
DOI: https://doi.org/10.1007/s100090050018