====== Model-Checking of Sensor Network Nodes with the Help of [mc]square ======

===== Student =====
Matthias Moers

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

~~NOTOC~~