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

Student

Betreuer