(2022). Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal. Международный научный журнал "Современные информационные технологии и ИТ-образование", 18, . https://doi.org/10.25559/sitito.18.202201.54-61
Chicago Style (17th ed.) Citation"Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal." Международный научный журнал "Современные информационные технологии и ИТ-образование" 18 (2022). https://doi.org/10.25559/sitito.18.202201.54-61.
MLA (9th ed.) Citation"Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal." Международный научный журнал "Современные информационные технологии и ИТ-образование", vol. 18, 2022, https://doi.org/10.25559/sitito.18.202201.54-61.
Warning: These citations may not always be 100% accurate.