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

Student

Matthias Moers

Tutor


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany