| |
| 1999 | ||
|---|---|---|
| 2 | EE | T. Watanabe, A. Mori: RORP: Distributed object relocation protocol for wide area networks. IPCCC 1999: 217-224 |
| 1997 | ||
| 1 | EE | Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62 |
| 1 | Joseph A. Goguen | [1] |
| 2 | Kai Lin | [1] |
| 3 | Grigore Rosu | [1] |
| 4 | A. Sato | [1] |
| 5 | T. Watanabe | [2] |