L06: Checking CTL properties

Félév: 
2017. ősz