Для цитирования: Шкляев Д.А., Непомнящий В.А. Дедуктивная верификация протокола скользящего окна. Моделирование и анализ информационных систем. 2012;19(6):57-68. https://doi.org/10.18255/1818-1015-2012-6-57-68

For citation: Chkliaev D.A., Nepomniaschy V.A. Deductive Verification of the Sliding Window Protocol. Modeling and Analysis of Information Systems. 2012;19(6):57-68. (In Russ.) https://doi.org/10.18255/1818-1015-2012-6-57-68