Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6385765 | Specification and verification for concurrent systems with graphical and textual editors | Rance Cleaveland, Scott A. SMOLKA, Y. Srinivas Ramakrishna | 2002-05-07 |
| 5805118 | Display protocol specification with session configuration and multiple monitors | Prateek Mishra, Donald P. Harrington, Arie E. Kaufman, Stephen D. Shapiro, Esther Dina Shilcrat | 1998-09-08 |