Citação norma APA

Qin, X., Deng, Y., & Du, W. (2020). Verifying Quantum Communication Protocols with Ground Bisimulation. Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Qin, Xudong, Yuxin Deng, and Wenjie Du. "Verifying Quantum Communication Protocols With Ground Bisimulation." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Citação norma MLA

Qin, Xudong, Yuxin Deng, and Wenjie Du. "Verifying Quantum Communication Protocols With Ground Bisimulation." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.