For the most recent entries see the
Petri Nets Newsletter.
Trace Theory for Automatic Herarchical Verification of Speed-Independent Circuits.
Dill, D.L.
In:
MIT Press, Cambridge, MA.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography