Larry Weidong Ying

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
Refinement-based formal verification with heterogeneous timing. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip. CHARME (2001)