| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Ralf Wimmer, Bettina Braitling, Bernd Becker: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI 2009: 366-380 |
| 1 | EE | Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian: SUPERB: Simulator utilizing parallel evaluation of resistive bridges. ACM Trans. Design Autom. Electr. Syst. 14(4): (2009) |
| 1 | Bernd Becker | [1] [2] |
| 2 | Piet Engelke | [1] |
| 3 | Ilia Polian | [1] |
| 4 | Michel Renovell | [1] |
| 5 | Jürgen Schlöffel | [1] |
| 6 | Ralf Wimmer | [2] |