T03: Lineáris idejű temporális logikák

Semester: 
2012. ősz