![]() | ![]() |
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] |