Keyword: trace structure

• 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.

Back to the Petri Nets Bibliography