- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | 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] |