Media type: E-Article Title: Four Formal Models of IEEE 1394 Link Layer Contributor: Garavel, Hubert; Luttik, Bas Published: Open Publishing Association, 2024 Published in: Electronic Proceedings in Theoretical Computer Science, 399 (2024), Seite 21-100 Language: English DOI: 10.4204/eptcs.399.5 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access