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]
@inproceedings{RochaGD12,
title = {Analysing storage resources on Synchronous Dataflows using Petri net verification techniques},
author = {Jose-Inacio Rocha and Luis Gomes and Octavio Pascoa Dias},
year = {2012},
doi = {10.1109/IECON.2012.6389492},
url = {https://doi.org/10.1109/IECON.2012.6389492},
researchr = {https://researchr.org/publication/RochaGD12},
cites = {0},
citedby = {0},
pages = {4676-4681},
booktitle = {38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012},
publisher = {IEEE},
isbn = {978-1-4673-2419-9},
}