M. Hira

List of publications from the DBLP Bibliography Server - FAQ

1997

1 EE M. Hira, D. Sarkar: Verification of Tempura specification of sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(4): 362-375 (1997)

1997
1	EE	M. Hira, D. Sarkar: Verification of Tempura specification of sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(4): 362-375 (1997)

Coauthor Index