Bud Mishra
2 references 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 Verification of Sequential Circuits Using Temporal Logic
Michael C. Browne and others (1986) · IEEE Transactions on Computers
Hierarchical Verification of Asynchronous Circuits Using Temporal Logic
Bud Mishra and others (1985) · Theoretical Computer Science · North-Holland