Login / Signup
Lubos Brim
ORCID
Publication Activity (10 Years)
Years Active: 1992-2023
Publications (10 Years): 40
Top Topics
Preliminary Version
Boolean Networks
Model Checking
Temporal Logic
Top Venues
CoRR
CMSB
CAV (1)
HSB
</>
Publications
</>