Login / Signup
Anakreontas Mentis
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Alternating Time Temporal Logic
Verification Method
Model Checking
Admission Control
Top Venues
CRITIS
</>
Publications
</>
Emmanouela Stachtiari
,
Yannis Soupionis
,
Panagiotis Katsaros
,
Anakreontas Mentis
,
Dimitris Gritzalis
Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection.
CRITIS
(2012)