Larry Weidong Ying

2003
2	EE	Xiaohua Kong, Radu Negulescu, Larry Weidong Ying: Refinement-based formal verification with heterogeneous timing. STTT 4(3): 359-370 (2003)
2001
1	EE	Xiaohua Kong, Radu Negulescu, Larry Weidong Ying: Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip. CHARME 2001: 370-385

Coauthor Index

1	Xiaohua Kong	[1] [2]
2	Radu Negulescu	[1] [2]