Login / Signup
Lukas Buecherl
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Formal Specification
Model Checker
Temporal Logic
Closed World
Top Venues
VMCAI
IEEE Trans. Biomed. Eng.
J. Integr. Bioinform.
QEST
</>
Publications
</>