External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques

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]

Authors

Jose-Inacio Rocha

This author has not been identified. Look up 'Jose-Inacio Rocha' in Google

Luis Gomes

This author has not been identified. Look up 'Luis Gomes' in Google

Octavio Pascoa Dias

This author has not been identified. Look up 'Octavio Pascoa Dias' in Google
runs on