Issued Patents 2011
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7990980 | Modeling non-deterministic priority queues for efficient model checking | Ziv Glazberg, Janees Elamkulam, Satish Chandra Gupta, Ishai Rabinovitz | 2011-08-02 |
SK
Sandeep Kohli
Overall (2011): #174,255 of 364,097Top 50%
1
Patents 2011