Marina Gelastou

	2008
2		Marina Gelastou, Chryssis Georgiou, Anna Philippou: On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. NCA 2008: 195-204
	2006
1		Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Power of the Defender. ICDCS Workshops 2006: 37

Coauthor Index

1	Chryssis Georgiou	[2]
2	Marios Mavronicolas	[1]
3	Vicky G. Papadopoulou (Vicky Papadopoulou)	[1]
4	Anna Philippou	[1] [2]
5	Paul G. Spirakis	[1]