| |
| 2008 | ||
|---|---|---|
| 2 | EE | Stefan Edelkamp, Damian Sulewski: Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82 |
| 1 | EE | Stefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008) |
| 1 | Stefan Edelkamp | [1] [2] |
| 2 | Shahid Jabbar | [1] |