====== Model-Checking von Sensornetzwerk-Knoten mit Hilfe von [mc]square ======

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

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

~~NOTOC~~