| |
| 2006 | ||
|---|---|---|
| 2 | EE | Daniel Platte, S. Jing, R. Sommer, Erich Barke: Using Sequential Equations to Improve Efficiency and Robustness. FDL 2006: 83-90 |
| 1 | EE | Darius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke: Time Constrained Verification of Analog Circuits using Model-Checking Algorithms. Electr. Notes Theor. Comput. Sci. 153(3): 37-52 (2006) |
| 1 | Erich Barke | [1] [2] |
| 2 | Darius Grabowski | [1] |
| 3 | Lars Hedrich | [1] |
| 4 | S. Jing | [2] |
| 5 | R. Sommer | [2] |