Concepedia
1
Publications
48
Citations
H-Index
2000
Active since
Affiliations
Radboud University Nijmegen(Current)
M.C.A. Devillers is an author at Radboud University Nijmegen.
Publications per year
2000–2000
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394
M.C.A. Devillers, David Griffioen, Judi Romijn et al. · Formal Methods in System Design · 2000 · 48 citations
Rows per page
1–1 of 1