L10: Model checking time-dependent behavior

Semester: 
2018. ősz