John Fitzgerald

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings Springer 2005

2004

1 John Fitzgerald: Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations. FIDJI 2004: 123

	2005
2		John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings Springer 2005
	2004
1		John Fitzgerald: Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations. FIDJI 2004: 123

Coauthor Index

1 Ian J. Hayes [2]

2 Andrzej Tarlecki [2]

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