APA-viite (7. p.)

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

Chicago-viite (17. p.)

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

MLA-viite (9. p.)

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

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.