KNAW

Publication

A timed verification of the IEEE 1394 Leader Election Protocol (2001)

Pagina-navigatie:
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