Library
search
local_library
Repository
GB
G Bandini
View Pure Profile
Authored
4 records found
Parametric verification of the IEEE 1394a root contention protocol using LPMC
Conference paper -
WJ Toetenel
,
RF Lutje Spelberg
,
G Bandini
Parametric model-checking in PMC
Conference paper -
G Bandini
,
RF Lutje Spelberg
,
WJ Toetenel
Application of parametric model checking-the root contention protocol
Conference paper -
G Bandini
,
RF Lutje Spelberg
,
RCM de Rooij
,
WJ Toetenel
Application of parametric model checking - The root contention protocol
Conference paper -
G Bandini
,
? et al