Login / Signup
Wojciech Penczek
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 55
Top Topics
Model Checking
Partial Order Reduction
Service Composition
Temporal Logic
Top Venues
Fundam. Informaticae
CoRR
AAMAS
CS&P
</>
Publications
</>