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