Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
GB
G Bandini
Academic Work (4)
Conference paper (4)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
4 records found
1
Application of parametric model checking - The root contention protocol
Conference paper (2001) -
G Bandini (author)
,
et. al. (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)
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 model-checking in PMC
Conference paper (1999) -
G Bandini (author)
,
RF Lutje Spelberg (author)
,
WJ Toetenel (author)
