(2001). Synchronous equivalence: Formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
Chicago-Zitierstil (17. Ausg.)Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.
MLA-Zitierstil (9. Ausg.)Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.