Author: G. Bandini
Publications
Publication period start: 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, . https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819070abs.htm