APA-Zitierstil (7. Ausg.)

Hsieh, H., Balarin, F., & Sangiovanni-Vincentelli, A. (2001). Synchronous equivalence: Formal methods for embedded systems. Kluwer Acad. Publ.

Chicago-Zitierstil (17. Ausg.)

Hsieh, Harry, Felice Balarin, und Alberto Sangiovanni-Vincentelli. Synchronous Equivalence: Formal Methods for Embedded Systems. Boston, Mass: Kluwer Acad. Publ, 2001.

MLA-Zitierstil (9. Ausg.)

Hsieh, Harry, et al. Synchronous Equivalence: Formal Methods for Embedded Systems. Kluwer Acad. Publ, 2001.