Li, G., & Murawski, A. (2024). Probabilistic verification beyond context-freeness.
Chicago-čujuhus (17. p.)Li, G., juo A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.
MLA-čujuhus (9. p.)Li, G., juo A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.