| 1996 | ||
|---|---|---|
| 3 | Reinhard Bündgen, Werner Lauterbach: Combining Reductions and Computations in ReDuX. AMAST 1996: 633-636 | |
| 2 | Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach: Verification of the Sparrow Processor. ECBS 1996: 86- | |
| 1995 | ||
| 1 | Reinhard Bündgen, Werner Lauterbach: Experiments with Partial Evaluation Domains for Rewrite Specifications. COMPASS/ADT 1995: 125-142 | |
| 1 | Reinhard Bündgen | [1] [2] [3] |
| 2 | Wolfgang Küchlin | [2] |