Author: Ruud C. M. de Rooij

Publications

Publication period start: 2001
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
G. Bandini
1
R. F. Lutje Spelberg
1
Hans Toetenel
1

Productive Colleagues

Most productive colleagues in number of publications
G. Bandini
1
Hans Toetenel
2
R. F. Lutje Spelberg
3

Publications

Bandini, G., Spelberg, R. F. Lutje, Rooij, Ruud C. M. de, Toetenel, Hans (2001): Application of Parametric Model Checking - The Root Contention Protocol. In: HICSS 2001 , 2001, . https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819070abs.htm