Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6732093 | Systems and methods for performing temporal logic queries | Jean-Max Vally, Jon Hartlaub, E. Gregory Lee, Steven Shafer | 2004-05-04 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6732093 | Systems and methods for performing temporal logic queries | Jean-Max Vally, Jon Hartlaub, E. Gregory Lee, Steven Shafer | 2004-05-04 |