Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
| Reel/Frame: | 016791/0450 | |
| Pages: | 5 |
| | Recorded: | 07/19/2005 | | |
| Attorney Dkt #: | 073338.0277(051169FLA) |
| Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
|
Total properties:
1
|
|
|
|
Patent #:
|
|
Issue Dt:
|
11/25/2008
|
Application #:
|
11185231
|
Filing Dt:
|
07/19/2005
|
|
Publication #:
|
|
Pub Dt:
|
01/25/2007
| | | | |
|
Title:
|
ESTIMATING THE DIFFICULTY LEVEL OF A FORMAL VERIFICATION PROBLEM
|
|
|
Assignee
|
|
|
|
|
| 1-1, KAMIKODANAKA 4-CHOME |
| NAKAHARA-KU, KAWASAKI-SHI |
| KANAGAWA 211-8588, JAPAN |
|
|
Correspondence name and address
|
| |
BARTON E. SHOWALTER
|
| |
BAKER BOTTS L.L.P.
|
| |
2001 ROSS AVENUE
|
| |
SUITE 600
|
| |
DALLAS, TX 75201-2980
|
Search Results as of:
09/21/2024 12:36 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
|
