Concepedia

David Griffioen

DG

2

Publications

79

Citations

2

H-Index

2000

Active since

Affiliations

Centrum Wiskunde & Informatica(Current)

David Griffioen is an author at Centrum Wiskunde & Informatica.

Publications per year

2000–2002

2

Publications

2

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

Automated Analysis of an Audio Control Protocol Using UPPAAL

Johan Bengtsson, David Griffioen, Kåre J. Kristoffersen et al. · 2002 · 31 citations

Rows per page

1–2 of 2