| |
| 2007 | ||
|---|---|---|
| 1 | EE | 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: 930-935 |
| 1 | Thomas Huining Feng | [1] |
| 2 | Sri Kanajan | [1] |
| 3 | Sanjit A. Seshia | [1] |
| 4 | Wei Zheng | [1] |