Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Total Assignments:
2
|
|
Patent #:
|
|
Issue Dt:
|
04/10/2007
|
Application #:
|
10795384
|
Filing Dt:
|
03/09/2004
|
|
Publication #:
|
|
Pub Dt:
|
10/21/2004
| | | | |
|
Inventors:
|
Malay Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
|
|
Title:
|
EFFICIENT DISTRIBUTED SAT AND SAT-BASED DISTRIBUTED BOUNDED MODEL CHECKING
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 4 INDEPENDENCE WAY |
| PRINCETON, NEW JERSEY 08540 |
|
|
|
|
| BENJAMIN LEE |
| NEC LABORATORIES AMERICA, INC. |
| 4 INDEPENDENCE WAY |
| PRINCETON, NJ 08540 |
|
|
|
Assignment:
2
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 7-1 SHIBA, MINATO-KU |
| TOKYO, JAPAN 108-0005 |
|
|
|
|
| JOSEPH KOLODKA |
| NEC LABORATORIES AMERICA, INC. |
| 4 INDEPENDENCE WAY, SUITE 200 |
| PRINCETON, NJ 08540 |
|
|
Search Results as of:
05/08/2024 08:47 PM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|
