other persons with the same name:
| 2005 | ||
|---|---|---|
| 1 | Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326 | |
| 1 | Sven Beyer | [1] |
| 2 | Peter Böhm | [1] |
| 3 | Mark A. Hillebrand | [1] |
| 4 | Steffen Knapp | [1] |
| 5 | Dirk Leinenbach | [1] |
| 6 | Wolfgang J. Paul | [1] |
| 7 | Thomas In der Rieden | [1] |