EA06: Elágazó idejű temporális logikák és modellellenőrzésük
Semester:
2011. ősz
Az előadás anyag:
- CTL* szintaxis és szemantika
- CTL szintaxis és szemantika
- CTL modellellenőrzés a szemantika alapján
- Modális mu-kalkulus
Letöltés:
