Login / Signup
Panagiotis Katsaros
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 44
Top Topics
Model Checking
Formal Verification
Probabilistic Model
Databases
Top Venues
Int. J. Softw. Tools Technol. Transf.
RV
CoRR
SECRYPT
</>
Publications
</>