====== Symbolisches Model-Checking mit [mc]square ======

===== Student =====
[[:lehrstuhl:mitarbeiter:schommer]]

===== Tutor =====
[[:lehrstuhl:mitarbeiter:schlich]]