User Tools

Site Tools

Trace: • lecture_31
plt17:lecture_31

Lecture 31

Lecture 31 Slides (Introduction to Models and Properties)

Readings

  • Christel Baier and Joost-Pieter Katoen, “Principles of Model Checking”, Chapter 2
plt17/lecture_31.txt · Last modified: 2017/11/15 23:39 by hossein

Page Tools