Research Group Semantics and Verification of parallel Systems
S2|02 Hochschulstraße 10 64289Darmstadt
We would like to customise the information and usability of this website to your preferences and needs.
To this end, we use so-called cookies. Please choose which cookies you would like to enable when visiting our webpages.
Some of these cookies are required to load and correctly display this website on your device.
These are strictly necessary or essential cookies and cannot be deselected.
The preferences cookie saves your language setting, while the statistics cookie regulates
how the open-source statistical software “Matomo” analyses your visits to and activities on our website.
For more information about cookies we use, please refer to our