Marco Devillers

	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

Coauthor Index

1	W. O. David Griffioen	[1] [2]
2	Olaf Müller	[1]
3	Judi Romijn	[2]
4	Frits W. Vaandrager	[2]