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

(2022). Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal. Международный научный журнал "Современные информационные технологии и ИТ-образование", 18, . https://doi.org/10.25559/sitito.18.202201.54-61

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

"Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal." Международный научный журнал "Современные информационные технологии и ИТ-образование" 18 (2022). https://doi.org/10.25559/sitito.18.202201.54-61.

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

"Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal." Международный научный журнал "Современные информационные технологии и ИТ-образование", vol. 18, 2022, https://doi.org/10.25559/sitito.18.202201.54-61.