W. O. David Griffioen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1996–1998
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | Normed Simulations. | W. O. David Griffioen, Frits W. Vaandrager |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | ICALP | Regularity for a Large Class of Context-Free Processes is Decidable. | D. J. B. Bosscher, W. O. David Griffioen |