Полноэкранный режим

Для цитирования: Шкляев Д.А., Непомнящий В.А. Дедуктивная верификация протокола скользящего окна. Моделирование и анализ информационных систем. 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

Просмотров: 230

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)