Avnit, K., D'Silva, V., Sowmya, A., Ramesh, S., & Parameswaran, S. (2009). Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis.
Chicago Style (17. basım) AtıfAvnit, K., V. D'Silva, A. Sowmya, S. Ramesh, ve S. Parameswaran. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
MLA (9th ed.) AtıfAvnit, K., et al. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..