Marina Gelastou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

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