| |
| 2001 | ||
|---|---|---|
| 2 | EE | G. Bandini, R. F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel: Application of Parametric Model Checking - The Root Contention Protocol. HICSS 2001 |
| 2000 | ||
| 1 | EE | Hans Toetenel, R. F. Lutje Spelberg, G. Bandini: Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. RTCSA 2000: 207-214 |
| 1 | Ruud C. M. de Rooij | [2] |
| 2 | R. F. Lutje Spelberg | [1] [2] |
| 3 | Hans Toetenel (W. J. Toetenel) | [1] [2] |