Real-Time model checking based on splitting
Conference Paper
(2001)
Author(s)
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:023f3d4d-ad00-448a-ad8a-a0398e0cac83
More Info
expand_more
expand_more
Publication Year
2001
Research Group
Software Engineering
Pages (from-to)
56-70
ISBN (print)
0926-4515
No files available
Metadata only record. There are no files for this record.