Application of parametric model checking-the root contention protocol
Conference Paper
(2000)
Author(s)
G Bandini (External organisation)
RF Lutje Spelberg (TU Delft - Software Engineering)
RCM de Rooij (TU Delft - Software Engineering)
WJ Toetenel (TU Delft - Software Engineering)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:e568fe22-72ce-43b6-988b-d1a88dffebbb
More Info
expand_more
expand_more
Publication Year
2000
Research Group
Software Engineering
Pages (from-to)
21-28
ISBN (print)
90-803086-5-X
No files available
Metadata only record. There are no files for this record.