Login / Signup
Marina Gelastou
Publication Activity (10 Years)
Years Active: 2006-2008
Publications (10 Years): 0
</>
Publications
</>
Marina Gelastou
,
Chryssis Georgiou
,
Anna Philippou
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.
NCA
(2008)
Marina Gelastou
,
Marios Mavronicolas
,
Vicky G. Papadopoulou
,
Anna Philippou
,
Paul G. Spirakis
The Power of the Defender.
ICDCS Workshops
(2006)