====== Symbolic Model Checking in [mc]square ======

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

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