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 | http://www.inrialpes.fr/vasy/fmics/workshop-3/ |
| 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 | – |