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-Zitierstil (17. Ausg.)Hsieh, Harry, Felice Balarin, und 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-Zitierstil (9. Ausg.)Hsieh, Harry, et al. Synchronous Equivalence: Formal Methods for Embedded Systems. Springer US, 2001. https://doi.org/10.1007/978-1-4615-1659-0.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.