Yee-Wing Hsieh

List of publications from the DBLP Bibliography Server - FAQ

1998

2 EE Yee-Wing Hsieh, Steven P. Levitan: Model Abstraction for Formal Verification. DATE 1998: 140-147

1 EE Yee-Wing Hsieh, Steven P. Levitan: Control / Data-Flow Analysis for VHDL Semantic Extraction. J. Inf. Sci. Eng. 14(3): 547-565 (1998)

1998
2	EE	Yee-Wing Hsieh, Steven P. Levitan: Model Abstraction for Formal Verification. DATE 1998: 140-147
1	EE	Yee-Wing Hsieh, Steven P. Levitan: Control / Data-Flow Analysis for VHDL Semantic Extraction. J. Inf. Sci. Eng. 14(3): 547-565 (1998)

Coauthor Index