Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7990980 | Modeling non-deterministic priority queues for efficient model checking | Ziv Glazberg, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz | 2011-08-02 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7990980 | Modeling non-deterministic priority queues for efficient model checking | Ziv Glazberg, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz | 2011-08-02 |