| |
| 2007 | ||
|---|---|---|
| 3 | EE | Hongping Lim, Myla Archer: Translation Templates to Support Strategy Development in PVS. Electr. Notes Theor. Comput. Sci. 174(11): 59-79 (2007) |
| 2006 | ||
| 2 | EE | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno: Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138 |
| 2005 | ||
| 1 | EE | Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra: Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31 |
| 1 | Myla Archer | [2] [3] |
| 2 | Dilsun Kirli Kaynar | [1] |
| 3 | Nancy A. Lynch | [1] [2] |
| 4 | Sayan Mitra | [1] [2] |
| 5 | Shinya Umeno | [2] |