| |
| 2006 | ||
|---|---|---|
| 2 | EE | Tilman Mehler, Stefan Edelkamp: Dynamic Incremental Hashing in Program Model Checking. Electr. Notes Theor. Comput. Sci. 149(2): 51-69 (2006) |
| 2004 | ||
| 1 | EE | Peter Leven, Tilman Mehler, Stefan Edelkamp: Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN 2004: 39-56 |
| 1 | Stefan Edelkamp | [1] [2] |
| 2 | Peter Leven | [1] |