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:
1
|
Patent #:
|
|
Issue Dt:
|
12/10/2019
|
Application #:
|
15912588
|
Filing Dt:
|
03/06/2018
|
Publication #:
|
|
Pub Dt:
|
03/28/2019
| | | | |
Inventors:
|
Zhao Duan, Cong Tian, Zhenhua Duan
|
Title:
|
Interpolation Based Path Reduction Method in Software Model Checking
|
|
Assignment:
1
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
NO. 2 SOUTH TAIBAI ROAD, XI'AN, SHAANXI 710071 CHINA |
XI'AN, CHINA 710071 |
|
|
|
GOKALP BAYRAMOGLU |
2520 ST.ROSE PARKWAY, SUITE 309 |
HENDERSON, NV 89074 |
|
|
Search Results as of:
09/25/2024 02:44 AM
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
|