| |
| 2007 | ||
|---|---|---|
| 2 | EE | Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520 |
| 1 | EE | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007 |
| 1 | Eyad Alkassar | [1] |
| 2 | Mark A. Hillebrand | [1] |
| 3 | Thomas Hillenbrand | [2] |
| 4 | Steffen Knapp | [1] |
| 5 | Renate A. Schmidt | [2] |
| 6 | Dalibor Topic | [2] |
| 7 | Sergey Tverdyshev | [1] |
| 8 | Christoph Weidenbach | [2] |