Model checking real-time systems based on partition refinement

RF Lutje Spelberg

Research output: Thesis › Dissertation (TU Delft)

Original languageUndefined/Unknown
QualificationDoctor of Philosophy
Awarding Institution
  • Delft University of Technology
Supervisors/Advisors
  • van Katwijk, Jan, Promotor
Award date25 May 2004
Publication statusPublished - 2004

Keywords

  • Diss. prom. aan TU Delft

Cite this