Automatic verification of speed-independent circuits with Petri net specifications.

David L. Dill, Steven M. Nowick, Robert F. Sproull

Browse the full ICCD paper archive.