Skip to main content
Help
Log In
Log in with TUHH Account
Log in with ORCID
Email address
Password
Login for Externals
New user? Click here to register.
Have you forgotten your password?
English
Deutsch
Communities & Collections
Publications
Research Data
People
Institutions
Projects
Statistics
Home
CRIS
Event
6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024
Conference Details
Publications
Export
Statistics
Options
Show all metadata (technical view)
Details
Title
6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024
Type
Workshop
Start Date
April 6, 2024
End Date
April 6, 2024
Event Year
2024
Location
Luxembourg City
Country
LU
Website
http://www.mars-workshop.org/mars2024/index.html
