IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001 /
IEEE 1394 (FireWire) Workshop(2001 :Berlin, Germany)
Maharaj, Savi.
Romijn, Judi.
Shankland, Carron.
University of Stirling.Department of Computing Science and Mathematics.
British Computer Society.Specialist Group in Formal Aspects of Computer Science.
Formal Methods Europe (Organisation)
Stirling : University of Stirling, Dept. of Computing Science and Mathematics,
2001.
Supported by the British Computer Society Specialist Group [in] Formal Aspects of Computing Science, and Formal Methods Europe.
Includes bibliographical references.
IEEE 1394 (Standard)