Conference Proceeding

The Tree Identification Protocol of P1394

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.

StatusPublished
Publication date31/12/1998
Publication date online31/05/1998
Related URLshttp://www.inrialpes.fr/vasy/fmics/workshop-3/
PublisherCWI
Place of publicationAmsterdam, The Netherlands
ISBN90 6196 480 6
ConferenceThird International Workshop on Formal Methods for Industrial Critical Systems
Conference locationAmsterdam, The Netherlands
Dates