Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij. Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 12-21, IEEE, 2014. [doi]