![]() | ![]() |
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 | Wolfgang Kunz | [1] |
2 | Sacha Loitz | [1] |
3 | Timo Vogt | [1] |
4 | Markus Wedler | [1] |
5 | Norbert Wehn | [1] |