CourseEye

Bisimulation Courses

System Validation: Automata and behavioural equivalences (Coursera)