====== Erweiterung des Model-Checkers [mc]square um benutzerdefinierte Umgebungen ======

===== Student =====
[[:lehrstuhl:mitarbeiter:gueckel]]

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

~~NOTOC~~