Marco Devillers

According to our database, Marco Devillers authored at least 2 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394.

Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager

Formal Methods Syst. Des., 2000

1997

Possibly Infinite Sequences in Theorem Provers: A Comparative Study.

Marco Devillers, W. O. David Griffioen, Olaf Müller

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997