Conference Paper (published)
Details
Citation
Shankland C (1998) The Tree Identification Protocol of P1394. In: Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, The Netherlands, 25.05.1998-26.05.1998. Amsterdam, The Netherlands: CWI, pp. 299-319.
Status | Published |
---|---|
Publication date | 31/12/1998 |
Publication date online | 31/05/1998 |
Related URLs | |
Publisher | CWI |
Place of publication | Amsterdam, The Netherlands |
ISBN | 90 6196 480 6 |
Conference | Third International Workshop on Formal Methods for Industrial Critical Systems |
Conference location | Amsterdam, The Netherlands |
Dates | – |