Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5966516 | Apparatus for defining properties in finite-state machines | Gary F. De Palma, Arthur Barry Glaser, Robert P. Kurshan | 1999-10-12 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5966516 | Apparatus for defining properties in finite-state machines | Gary F. De Palma, Arthur Barry Glaser, Robert P. Kurshan | 1999-10-12 |