Cited By
View all- Kumar NVemuri RMusgrave G(1992)Finite state machine verification on MIMD machinesProceedings of the conference on European design automation10.5555/159754.161802(514-520)Online publication date: 1-Nov-1992
- Tamura KThomas D(1989)Locating functional errors in logic circuitsProceedings of the 26th ACM/IEEE Design Automation Conference10.1145/74382.74414(185-191)Online publication date: 1-Jun-1989