| |
| 2008 | ||
|---|---|---|
| 1 | EE | Sacha Loitz, Markus Wedler, Christian Brehm, Timo Vogt, Norbert Wehn, Wolfgang Kunz: Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking. SASP 2008: 48-54 |
| 1 | Christian Brehm | [1] |
| 2 | Wolfgang Kunz | [1] |
| 3 | Timo Vogt | [1] |
| 4 | Markus Wedler | [1] |
| 5 | Norbert Wehn | [1] |