Inventors list |
Agents list |
Assignees list |
List by place |
Classification tree browser |
Top 100 Inventors |
Top 100 Agents |
Top 100 Assignees |
Ishai Rabinovitz
HAIFA, IL
1. 20090168785 MODELING NON-DETERMINISTIC PRIORITY QUEUES FOR EFFICIENT MODEL CHECKING 07-02-20092. 20080222224 System and Method of Identification of Dangling Pointers 09-11-2008