Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets. Safe Compositional Equation-based Modeling of Constrained Flow Networks. In François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee, editors, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011. Volume 56 of Linköping Electronic Conference Proceedings, pages 35-44, Linköping University Electronic Press, 2011. [doi]
Abstract is missing.