TY  - RPRT
TI  - A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)
AU  - Azer Bestavros
AU  - Assaf Kfoury
PY  - 2011
DO  - 10.4204/eptcs.66.2
UR  - https://arxiv.org/abs/1109.0775
ID  - 1109.0775
ER  -