| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 3 |      | Holger Bär: Statische Verifikation von Softwareprotokollen. Karlsruhe Institute of Technology 2005: 1-176 |
| 2000 | ||
| 2 |  | Uwe Aßmann, Holger Bär, Thomas Genssler: Meta-Programming Grey-Box Connectors. TOOLS (33) 2000: 300-311 |
| 1998 | ||
| 1 | | Holger Bär, Oliver Ciupke: Exploiting Design Heuristics for Automatic Problem Detection. ECOOP Workshops 1998: 73-74 |
| 1 | Uwe Aßmann | [2] |
| 2 | Oliver Ciupke | [1] |
| 3 | Thomas Genssler | [2] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page