Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5483470 | Timing verification by successive approximation | Rajeev Alur, Robert P. Kurshan, Mihalis Yannakakis | 1996-01-09 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5483470 | Timing verification by successive approximation | Rajeev Alur, Robert P. Kurshan, Mihalis Yannakakis | 1996-01-09 |