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