| Title | A timed verification of the IEEE 1394 Leader Election Protocol |
|---|---|
| Published in | Formal Methods in System Design, Vol. 19, No. 2, p.165-. ISSN 0925-9856. |
| Author | Romijn, JMT (Judi) |
| Date | 2001 |
| Type | article |
| Rights | Copyright (c) Romijn, JMT (Judi) |
| Publication | http://repository.tue.nl/623405 |
| OpenURL | Search this publication in (your) library |
| Persistent Identifier | URN:NBN:NL:UI:25-623405 |
| Metadata | XML |
| Repository | Eindhoven University of Technology |
Go to page top
Go back to contents
Go back to site navigation