| |
| 2006 | ||
|---|---|---|
| 1 | EE | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala: Formal Verification of Abstract System and Protocol Specifications. SEW 2006: 207-211 |
| 1 | Thomas Bluhm | [1] |
| 2 | Ulrich Heinkel | [1] |
| 3 | Joachim Knäblein | [1] |
| 4 | Axel Schneider | [1] |
| 5 | Reynaldo Zavala | [1] |