Parametric model-checking in PMC
Conference Paper
(1999)
Author(s)
G Bandini (External organisation)
RF Lutje Spelberg (TU Delft - Software Engineering)
WJ Toetenel (TU Delft - Software Engineering)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:d04e9909-b048-42c2-85a1-b1dd2408c7fe
More Info
expand_more
expand_more
Publication Year
1999
Research Group
Software Engineering
Pages (from-to)
14-15
ISBN (print)
1404-3203
No files available
Metadata only record. There are no files for this record.