====== Model-Checking of Instruction List Programs for Programmable Logic Controllers using [mc]square ======

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

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

~~NOTOC~~