====== Extending the Symbolic Representation of States in [mc]square ====== ===== Student ===== [[:en:lehrstuhl:mitarbeiter:kamin]] ===== Tutor ===== [[:en:lehrstuhl:mitarbeiter:schlich]] ~~NOTOC~~