| |
| 2003 | ||
|---|---|---|
| 1 | EE | Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf: Formal Methods for Integration of Automotive Software. DATE 2003: 20045-20050 |
| 1 | Rolf Ernst | [1] |
| 2 | Marek Jersak | [1] |
| 3 | Zheng-Yu Jiang | [1] |
| 4 | Kai Richter | [1] |
| 5 | Fabian Wolf | [1] |