Login / Signup
Anne Remke
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 48
Top Topics
Stochastic Models
Model Checking
Hybrid Automata
Petri Net
Top Venues
VALUETOOLS
QEST
EPEW
MMB
</>
Publications
</>