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.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումAvnit, K., V. D'Silva, A. Sowmya, S. Ramesh, and S. Parameswaran. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
MLA (9րդ խմբ.) ՄեջբերումAvnit, K., et al. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.