- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 2 |      | Alexander Jesser, Lars Hedrich: A symbolic approach for mixed-signal model checking. ASP-DAC 2008: 404-409 |
| 1 | | Alexander Jesser, Stefan Laemmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008) |
| 1 | Wolfgang Fengler | [1] |
| 2 | Lars Hedrich | [1] [2] |
| 3 | Thomas Kropf | [1] |
| 4 | Stefan Laemmermann | [1] |
| 5 | Alexander Pacholik | [1] |
| 6 | Wolfgang Rosenstiel | [1] |
| 7 | Jürgen Ruf | [1] |
| 8 | Roland J. Weiss (Roland Weiss) | [1] |