TY - RPRT TI - A linear programming approach to general dataflow process network verification and dimensioning AU - Renaud Sirdey AU - Pascal Aubry PY - 2010 DO - 10.4204/eptcs.38.11 UR - https://arxiv.org/abs/1010.5573 ID - 1010.5573 ER -