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

Глава

Automated synthesis of reactive controllers for software-defined networks

Scedrov A., Wang A., Moarref S., Thau Loo B., Topcu U.