Joachim Thees

	2003
6		Joachim Thees: Type Abstraction in Formal Protocol Specifications with Container Types. FORTE 2003: 383-398
5		Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees: Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. KiVS 2003: 131-141
	1999
4		Joachim Thees: Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. FBT 1999: 243-252
	1998
3		Joachim Thees, Reinhard Gotzhein: The experimental Estelle Compiler: automatic generation of implementations from formal specifications. FMSP 1998: 54-61
2		Joachim Thees, Reinhard Gotzhein: Open Estelle - An FDT for Open Distributed Systems. FORTE 1998: 19-36
	1997
1		Joachim Thees, Reinhard Gotzhein: Leistungsbewertung automatisch generierter Protokollimplementierungen. MMB (Kurzbeiträge) 1997: 26-33

Coauthor Index

1	Reinhard Gotzhein	[1] [2] [3] [5]
2	Christian Peper	[5]
3	Philipp Schaible	[5]