Janssen, G. L. J. M. (1999). Logics for digital circuit verification. Theory, algorithms, and applications ([1st ed.].). Technická univerzita.
Chicago-Zitierstil (17. Ausg.)Janssen, Gradus Leonardus Johannes Maria. Logics for Digital Circuit Verification. Theory, Algorithms, and Applications. [1st ed.]. Eindhoven: Technická univerzita, 1999.
MLA-Zitierstil (9. Ausg.)Janssen, Gradus Leonardus Johannes Maria. Logics for Digital Circuit Verification. Theory, Algorithms, and Applications. [1st ed.]. Technická univerzita, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.