Joachim Thees
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
1998–2003
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | FORTE | Type Abstraction in Formal Protocol Specifications with Container Types. | Joachim Thees |
| 1998 | FORTE | Open Estelle - An FDT for Open Distributed Systems. | Joachim Thees, Reinhard Gotzhein |