Lecture 03: Temporal logics, CTL, CTL*

Semester: 
2017. tavasz