| |
| 1994 | ||
|---|---|---|
| 2 | EE | Jianan Li, Ichiro Suzuki, Masafumi Yamashita: A New Structural Induction Theorem for Rings of Temporal Petri Nets. IEEE Trans. Software Eng. 20(2): 115-126 (1994) |
| 1 | Jianan Li, Ichiro Suzuki, Masafumi Yamashita: Fair Petri Nets and Structural Induction for Rings of Processes. Theor. Comput. Sci. 135(2): 377-404 (1994) | |
| 1 | Ichiro Suzuki | [1] [2] |
| 2 | Masafumi Yamashita | [1] [2] |