Login / Signup
Andrzej Zbrzezny
ORCID
Publication Activity (10 Years)
Years Active: 1990-2024
Publications (10 Years): 22
Top Topics
Dialogue Games
Model Checking
Temporal Logic
Sat Solvers
Top Venues
CS&P
Fundam. Informaticae
ICAISC (2)
PRIMA
</>
Publications
</>