| Title | Editorial (Special Issue on the formal specification and the analysis of the `Tree Identify¿ protocol of the IEEE 1394 High Performance Serial Bus) |
|---|---|
| Published in | Formal Aspects of Computing, Vol. 14, No. 3, p.199-. ISSN 0934-5043. |
| Author | Cooke, J (John); Maharaj, S (Savitri); Romijn, JMT (Judi); Shankland, C (Carron) |
| Date | 2003 |
| Type | article |
| Rights | Copyright (c) Cooke, J (John); Copyright (c) Maharaj, S (Savitri); Copyright (c) Romijn, JMT (Judi); Copyright (c) Shankland, C (Carron) |
| Publication | http://repository.tue.nl/623854 |
| OpenURL | Search this publication in (your) library |
| Persistent Identifier | URN:NBN:NL:UI:25-623854 |
| Metadata | XML |
| Repository | Eindhoven University of Technology |
Go to page top
Go back to contents
Go back to site navigation