![]() | ![]() |
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] |