C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Lisa Willemsen
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Strengths And Weaknesses
Relational Databases
Hybrid Automata
Top Venues
CoRR
QEST
</>
Publications
</>
Lisa Willemsen
,
Anne Remke
,
Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
CoRR
(2023)
Lisa Willemsen
,
Anne Remke
,
Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
QEST
(2023)