Ruud C. M. de Rooij

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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, . http://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819070abs.htm