Model Checking: 7: Fairness (Fr, 11.05.2018)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:06:39
Liveness recap
00:27:03
Fairness