For the most recent entries see the
Petri Nets Newsletter.
Dill, D.L.
-
Talcott, Carolyn;
Dill, David L.:
Multiple Representations of Biological Processes.
2006.
-
Dill, D.L.:
Trace Theory for Automatic Herarchical Verification of Speed-Independent Circuits.
1989.
-
Dill, David L.;
Nowick, Steven M.;
Sproull, Robert F.:
Automatic Verification of Speed-Independent Circuits with Petri Net Specifications.
1989.
-
Dill, D.L.;
Nowick, S.M.;
Sproull, R.F.:
Specification and Automatic Verification of Self-Timed Queues.
1989.
-
Nowick, Steven M.;
Dill, David L.:
Practicality of State-Machine Verification of Speed-Independent Circuits.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography