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

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page