Login / Signup
Christoph Luckeneder
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 11
Top Topics
Qualitative Models
Temporal Logic
Model Checking
Life Cycle
Top Venues
HICSS
ICSOFT
APSEC
SAC
</>
Publications
</>