Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7461289 | System and method for computer service security | Ryan A. VanRiper, David Musliner, Walter Heimerdinger | 2008-12-02 |
| 6957178 | Incremental automata verification | David Musliner, Robert P. Goldman | 2005-10-18 |