G Bandini | TU Delft Repository

Library

local_library Home Repository

GB

G Bandini

Conference paper (3)

3 records found

1

Application of parametric model checking-the root contention protocol

Conference paper (2000) - G Bandini (author) , RF Lutje Spelberg (author) , RCM de Rooij (author) , WJ Toetenel (author)

Parametric verification of the IEEE 1394a root contention protocol using LPMC

Conference paper (2000) - WJ Toetenel (author) , RF Lutje Spelberg (author) , G Bandini (author)

Parametric model-checking in PMC

Conference paper (1999) - G Bandini (author) , RF Lutje Spelberg (author) , WJ Toetenel (author)