Schuppan, Viktor; Biere, Armin Verifying the IEEE 1394 fireWire tree identify protocol with SMV. (English) Zbl 1029.68021 Formal Asp. Comput. 14, No. 3, 267-280 (2002). Cited in 1 Document MSC: 68M12 Network protocols Keywords:IEEE 1394 FireWire; Formal methods; Protocol verification; Model checking Software:SATO; Uppaal2k; NuSMV PDFBibTeX XMLCite \textit{V. Schuppan} and \textit{A. Biere}, Formal Asp. Comput. 14, No. 3, 267--280 (2002; Zbl 1029.68021) Full Text: DOI