Lynn Wang

According to our database, Lynn Wang authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Interactive presentation: Automatic model generation for black box real-time systems.

Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007