Research output

  1. Model checking real-time systems based on partition refinement

    Research output: ThesisDissertation (TU Delft)Scientific

  2. Parametric real-time model checking using splitting trees

    Research output: Contribution to journalArticleScientific

  3. Real-Time model checking based on splitting

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

View all (10) »

ID: 315534