APA (7th ed.) Citation

Hsieh, H., Balarin, F., & Sangiovanni-Vincentelli, A. (2001). Synchronous Equivalence: Formal Methods for Embedded Systems. Springer US. https://doi.org/10.1007/978-1-4615-1659-0

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. https://doi.org/10.1007/978-1-4615-1659-0.

MLA (9th ed.) Citation

Hsieh, Harry, et al. Synchronous Equivalence: Formal Methods for Embedded Systems. Springer US, 2001. https://doi.org/10.1007/978-1-4615-1659-0.