====== Model-Checking von Anweisungslisten-Programmen für Speicherprogrammierbare Steuerung mit Hilfe von [mc]square ======

===== Student =====
Jörg Wernerus

===== Betreuer =====
[[lehrstuhl:mitarbeiter:schlich]]

~~NOTOC~~