dblp.uni-trier.dewww.uni-trier.de

Joachim Thees

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
6EEJoachim 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
3EEJoachim 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)