SS 2012: Modellierung nebenläufiger Systeme - Folien und Übungsblätter

Folien

Die Folien werden im Laufe der Vorlesung hier als PDF zum Download bereit gestellt.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Slides (in English)

The slides of last year's course have been translated into English and are available here. Note that for this semester several topics will be omitted (failures equivalence, safety/liveness properties, Büchi automata, LTL). Please send an e-mail if you find typos or other mistakes.

Wörterbuch/Dictionary

Notizen

  • Notizen (Stand: 20.6.12): [PDF]

Die Notizen aus dem SS '11 sind hier erhältlich.

Übungsblätter

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin