Parametric verification of the IEEE 1394a root contention protocol using LPMC
Conference Paper
(2000)
Author(s)
WJ Toetenel (TU Delft - Software Engineering)
RF Lutje Spelberg (TU Delft - Software Engineering)
G Bandini (External organisation)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:e1b44399-04ce-4c1f-ad21-180114bf7792
More Info
expand_more
expand_more
Publication Year
2000
Research Group
Software Engineering
Pages (from-to)
207-214
ISBN (print)
0-7695-0930-4
No files available
Metadata only record. There are no files for this record.