Jose-Inacio Rocha, Luis Gomes, Octavio Pascoa Dias. Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. In 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012. pages 4676-4681, IEEE, 2012. [doi]
Abstract is missing.