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.
Cita Chicago Style (17a ed.)Avnit, K., V. D'Silva, A. Sowmya, S. Ramesh, y S. Parameswaran. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
Cita MLA (9a ed.)Avnit, K., et al. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
Precaución: Estas citas no son 100% exactas.