TY  - RPRT
TI  - FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering
AU  - Behnaz Arzani
AU  - Alexander Gurney
AU  - Bo Li
AU  - Xianglong Han
AU  - Roch Guerin
AU  - Boon Thau Loo
PY  - 2015
UR  - https://arxiv.org/abs/1511.08791
ID  - 1511.08791
ER  -