Gergov, J. (1993). Combinational logic verification with FBDDs. Univ. Trier, Mathematik, Informatik.
Chicago-Zitierstil (17. Ausg.)Gergov, Jordan. Combinational Logic Verification with FBDDs. Trier: Univ. Trier, Mathematik, Informatik, 1993.
MLA-Zitierstil (9. Ausg.)Gergov, Jordan. Combinational Logic Verification with FBDDs. Univ. Trier, Mathematik, Informatik, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.