| |
| * | 2008 | |
|---|---|---|
| 1 | EE | Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski: External Memory Search for Verification of Multi-threaded C++ Programs. KI 22(2): 44-50 (2008) |
| 1 | Stefan Edelkamp | [1] |
| 2 | Shahid Jabbar | [1] |
| 3 | Dino Midzic | [1] |
| 4 | Damian Sulewski | [1] |