Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7984332 | Distributed system checker | Junfeng Yang, Lintao Zhang, Lidong Zhou, Zhenyu Guo, Jian Tang +1 more | 2011-07-19 |
| 7933759 | Predicate checking for distributed systems | Wei Lin, Zheng Zhang | 2011-04-26 |
| 7925487 | Replaying distributed systems | Wei Lin, Zheng Zhang | 2011-04-12 |