Login / Signup
Anne E. Haxthausen
ORCID
Publication Activity (10 Years)
Years Active: 1988-2023
Publications (10 Years): 27
Top Topics
Formal Methods
Autonomous Mobile
Model Checking
Equivalence Class
Top Venues
RSSRail
ISoLA (4)
ISoLA (3)
ISoLA (2)
</>
Publications
</>