APA引文

Li, G., & Murawski, A. (2024). Probabilistic verification beyond context-freeness.

芝加哥风格引文

Li, G., 与 A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

MLA引文

Li, G., 与 A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

警告:这些引文格式不一定是100%准确.