I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Nichtsequentielle Systeme und nebenläufige Prozesse
held by: Dr. Christian Schallhart
Prof. Dr. Stefan Katzenbeisser
held in: SS 2005
sws: 4
Have a look at our OBDD Workbench!
downloadable material:
problem sets
title / description download
Problem Set 1
Temporal Logic
click here...
Problem Set 2
OBDD
click here...
Problem Set 3
SMV
click here...
Problem Set 4
Spin
click here...
other
title / description download
Merkblatt
click here...
Problem Set 4 -- Solutions
click here...