plt17:lecture_34

Lecture 34

Lecture 34 Slides (Partial Order Reduction)

Readings

Christel Baier and Joost-Pieter Katoen, “Principles of Model Checking”, Chapter 8

plt17/lecture_34.txt · Last modified: 2017/11/27 14:34 by hossein