Jianan Li

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

2 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)

	1994
2		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)

Coauthor Index