APA (7th ed.) Citation

Hsieh, H., Balarin, F., & Sangiovanni-Vincentelli, A. (2001). Synchronous Equivalence: Formal Methods for Embedded Systems. Springer US.

Chicago Style (17th ed.) Citation

Hsieh, Harry, Felice Balarin, and Alberto Sangiovanni-Vincentelli. Synchronous Equivalence: Formal Methods for Embedded Systems. Boston, MA: Springer US, 2001.

MLA (9th ed.) Citation

Hsieh, Harry, et al. Synchronous Equivalence: Formal Methods for Embedded Systems. Springer US, 2001.