Verification of Bounded Delay Asynchronous Circuits and Its Acceleration Techniques.

For the most recent entries see the Petri Nets Newsletter.

In: Journal on Systems, Control and Information 45 (8) - Special Issue on Application of Petri Nets. 2001.

Do you need a refined search? Try our search engine which allows complex field-based queries.