plt17:lecture_32

Lecture 32

Lecture 32 Slides (Temporal Logic)

Readings

Christel Baier and Joost-Pieter Katoen, “Principles of Model Checking”, Chapters 5,6

plt17/lecture_32.txt · Last modified: 2017/11/17 14:57 by hossein