Peterson's algorithm revisited

Loading...
From the course by EIT Digital
System Validation (3): Requirements by modal formulas
5 ratings
From the lesson
Advanced modal formulas

Meet the Instructors

  • Jan Friso Groote
    Jan Friso Groote
    Full professor
    Mathematics and Computer Science, Eindhoven University of Technology