M. Fujita
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Automatic and semi-automatic verification of switch-level circuits with temporal logic and binary decision diagrams
M. Fujita and others (1990) · 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers · IEEE Comput. Soc. Press