Frank Reffel

	1999
4		Frank Reffel: BDD-Nodes Can Be More Expressive. ASIAN 1999: 294-307
3		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

Coauthor Index

1

Stefan Edelkamp

[2] [3]