Lecture 03: Temporal logics, CTL, CTL*

Semester: 
2019. tavasz