Login / Signup
Roxana-Ioana Guinea
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Automated Verification
Temporal Properties
Model Checking
Pspace Complete
Top Venues
ICETE (2)
</>
Publications
</>
Iulian Aciobanitei
,
Roxana-Ioana Guinea
,
Mihai-Lica Pura
AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols.
ICETE (2)
(2018)