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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on