Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

Li, G., και A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

Παραπομπή σε μορφή MLA (9th εκδ.)

Li, G., και A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.