TY  - RPRT
TI  - Four Formal Models of IEEE 1394 Link Layer
AU  - Hubert Garavel
AU  - Bas Luttik
PY  - 2024
DO  - 10.4204/eptcs.399.5
UR  - https://arxiv.org/abs/2403.18723
ID  - 2403.18723
ER  -