Login / Signup
Marco Devillers
Publication Activity (10 Years)
Years Active: 1997-2000
Publications (10 Years): 0
</>
Publications
</>
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 Syst. Des.
16 (3) (2000)
Marco Devillers
,
W. O. David Griffioen
,
Olaf Müller
Possibly Infinite Sequences in Theorem Provers: A Comparative Study.
TPHOLs
(1997)