Author: G. Bandini
Publication Overview
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