| |
| 2005 | ||
|---|---|---|
| 1 | EE | Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop: Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. FM 2005: 533-536 |
| 1 | Bernhard Josko | [1] |
| 2 | Guido Sandmann | [1] |
| 3 | Christian Scheidler | [1] |
| 4 | Joachim Stroop | [1] |