Publications

Performance analysis of asynchronous circuits and systems using stochastic timed Petri nets