Original language | English |
---|---|
Pages (from-to) | 165-194 |
Journal | Formal Methods in System Design |
Volume | 19 |
Issue number | 2 |
DOIs | |
Publication status | Published - 2001 |
A timed verification of the IEEE 1394 Leader Election Protocol
J.M.T. Romijn
Research output: Contribution to journal › Article › Academic › peer-review
15
Citations
(Scopus)