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 » Extending the Symbolic Representation of States in [mc]square
This translation is older than the original page and might be outdated. See what has changed.
Extending the Symbolic Representation of States in [mc]square
Student
Tutor
RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany