Analysing storage resources on Synchronous Dataflows using Petri net verification techniques.

Jos-Incio Rocha, Lus Gomes, Octvio Pscoa Dias

Browse the full IECON paper archive.