APA (7 ম সংস্করণ) উদ্ধৃতি

(2001). Synchronous equivalence: Formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.