Lynn Wang

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia
Interactive presentation: Automatic model generation for black box real-time systems. DATE (2007)