(2001). Synchronous equivalence: Formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
Cita Chicago (17th ed.)Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.
Cita MLA (9th ed.)Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.
Atenció: Aquestes cites poden no estar 100% correctes.