Login / Signup
Michael Rathmair
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 18
Top Topics
Formal Verification
Qualitative Models
Obstacle Avoidance
Business Processes
Top Venues
Elektrotech. Informationstechnik
HICSS
SNR@ETAPS
ICPS
</>
Publications
</>