• Aktuelle Vorlesungen
• Alle Vorlesungen
• Vorlesungen nach Fakultäten
  • Fakultätsübergreifende Vorlesungen
  • Katholisch-Theologische Fakultät (Fakultät 1)
  • Evangelisch-Theologische Fakultät (Fakultät 2)
  • Juristische Fakultät (Fakultät 3)
  • Fakultät für Betriebswirtschaft (Fakultät 4)
  • Volkswirtschaftliche Fakultät (Fakultät 5)
  • Medizinische Fakultät (Fakultät 7)
  • Tierärztliche Fakultät (Fakultät 8)
  • Fakultät für Geschichts- und Kunstwissenschaften (Fakultät 9)
  • Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft (Fakultät 10)
  • Fakultät für Psychologie und Pädagogik (Fakultät 11)
  • Fakultät für Kulturwissenschaften (Fakultät 12)
  • Fakultät für Sprach- und Literaturwissenschaften (Fakultät 13)
  • Sozialwissenschaftliche Fakultät (Fakultät 15)
  • Fakultät für Mathematik, Informatik und Statistik (Fakultät 16)
  • Fakultät für Physik (Fakultät 17)
  • Fakultät für Chemie und Pharmazie (Fakultät 18)
  • Fakultät für Biologie (Fakultät 19)
  • Fakultät für Geowissenschaften (Fakultät 20)
  • Seniorenstudium
• Tutorials
• FAQs

Schöpp, Ulrich

Formale Spezifikation und Verifikation

29.04.2015 6. CTL, Model Checking

22.04.2015 4. BDDs