Model checking real-time systems based on partition refinement
Doctoral Thesis
(2004)
Author(s)
RF Lutje Spelberg (TU Delft - Software Engineering)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:83cad145-fc31-4e80-859f-49bc44f8869a
More Info
expand_more
expand_more
Publication Year
2004
Research Group
Software Engineering
No files available
Metadata only record. There are no files for this record.