| |
| 1996 | ||
|---|---|---|
| 2 | Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani: Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN 1996: 299-308 | |
| 1 | Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio: Formal Analysis for Continous Systems Controlled by Programs. ASIAN 1996: 347-348 | |
| 1 | Shigeru Igarashi | [1] [2] |
| 2 | Tetsuya Mizutani | [1] [2] |
| 3 | Masayuki Shio | [1] [2] |