Research output

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

    Research output: ScientificDissertation (TU Delft)

  2. Parametric real-time model checking using splitting trees

    Research output: ScientificArticle

  3. Real-Time model checking based on splitting

    Research output: ScientificConference contribution

View all (10) »

ID: 315534