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-viite (17. p.)Avnit, K., V. D'Silva, A. Sowmya, S. Ramesh, ja S. Parameswaran. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
MLA-viite (9. p.)Avnit, K., et al. Provably Correct On−chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis. 2009.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.