Login / Signup
Anita Messinger
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Decision Trees
Concurrent Systems
Hybrid Approaches
Metadata
Top Venues
STAF Workshops
INDIN
</>
Publications
</>
Nahla A. El-Araby
,
eva Kühn
,
Anita Messinger
,
Sophie Therese Radschek
Towards a Hybrid Verification Approach.
STAF Workshops
(2018)
Anita Messinger
,
eva Kühn
Discussion: No S without Q ⇒ No E without Q?
INDIN
(2017)