This translation is older than the original page and might be outdated. See what has changed.
You are here: Neuigkeiten » News » Teaching » BSc/MSc Theses » Model-Checking of Sensor Network Nodes with the Help of [mc]square
This translation is older than the original page and might be outdated. See what has changed.
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