Login / Signup
Marek Jankola
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Selection Criterion
Model Checking
Finite State
Automated Verification
Top Venues
FoSSaCS (1)
TACAS (3)
Proc. ACM Softw. Eng.
</>
Publications
</>