| |
| * | 2008 | |
|---|---|---|
| 1 | EE | Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169 |
| 1 | Thomas Kropf | [1] |
| 2 | Djones Lettnin | [1] |
| 3 | Pradeep Kumar Nalla | [1] |
| 4 | Stephan Reitemeyer | [1] |
| 5 | Wolfgang Rosenstiel | [1] |
| 6 | Jürgen Ruf | [1] |
| 7 | Volker Schönknecht | [1] |