| |
| 1999 | ||
|---|---|---|
| 4 | EE | Frank Reffel: BDD-Nodes Can Be More Expressive. ASIAN 1999: 294-307 |
| 3 | EE | Frank Reffel, Stefan Edelkamp: Error Detection with Directed Symbolic Model Checking. World Congress on Formal Methods 1999: 195-211 |
| 1998 | ||
| 2 | Stefan Edelkamp, Frank Reffel: OBDDs in Heuristic Search. KI 1998: 81-92 | |
| 1997 | ||
| 1 | Frank Reffel: Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung. FBT 1997: 49-57 | |
| 1 | Stefan Edelkamp | [2] [3] |