• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

A formal model and verification problems for Software Defined Networks

Automatic Control and Computer Sciences. 2014. Vol. 48. No. 7. P. 398-406.
Smeliansky R., Chemeritsky E., Zakharov V.
Переводчик: V. Zakharov.