skip to content
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
Trace:
•
lecture_33
plt17:lecture_33
Lecture 33
Lecture 33
Slides
(Automata Theoretic Model Checking)
Readings
Christel Baier and Joost-Pieter Katoen, “Principles of Model Checking”, Chapter 5 (Section 5.2 is about Automata theoretic model checking)
plt17/lecture_33.txt
· Last modified: 2017/11/20 14:51 by
hossein
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top