| |
| 2007 | ||
|---|---|---|
| 2 | EE | Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86 |
| 2006 | ||
| 1 | EE | Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking: On Consistency and Completeness of Property-Sets. FDL 2006: 241-248 |
| 1 | Hans Eveking | [1] [2] |
| 2 | Martin Oberkönig (Martin Braun) | [1] [2] |
| 3 | Martin Schickel | [1] [2] |
| 4 | Martin Schweikert | [2] |