Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8671396 | Dynamic interface reduction for software model checking | Ming-Chuan Wu, Huayang Guo, Yi Yang, Gang Hu, Lintao Zhang +1 more | 2014-03-11 |
TC
Tisheng Chen
Overall (All Time): #3,095,603 of 4,157,543Top 75%
1
Patents All Time