- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176 |
| 1 | Matthias Daum | [1] |
| 2 | Jan Dörrenbächer | [1] |
| 3 | Burkhart Wolff | [1] |