| |
| 2000 | ||
|---|---|---|
| 2 | Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager: Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods in System Design 16(3): 307-320 (2000) | |
| 1997 | ||
| 1 | Marco Devillers, W. O. David Griffioen, Olaf Müller: Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs 1997: 89-104 | |
| 1 | W. O. David Griffioen | [1] [2] |
| 2 | Olaf Müller | [1] |
| 3 | Judi Romijn | [2] |
| 4 | Frits W. Vaandrager | [2] |