| |
| * | 2007 | |
|---|---|---|
| 2 | EE | Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. FDL 2007: 291-292 |
| 1 | EE | Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86 |
| 1 | Hans Eveking | [1] [2] |
| 2 | Volker Nimbler | [1] |
| 3 | Martin Oberkönig (Martin Braun) | [1] [2] |
| 4 | Martin Schickel | [1] [2] |