Model checking and Time-bounded next

Loading...
View Syllabus

Reviews

4.3 (44 ratings)
  • 5 stars
    59.09%
  • 4 stars
    25%
  • 3 stars
    4.54%
  • 2 stars
    4.54%
  • 1 star
    6.81%
From the lesson
Continuous Stochastic Logic

Taught By

  • Anne Remke

    Anne Remke

    Prof. dr.

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.