Shiun-Wei Lee

	1996
3		Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee: Probabilistic fuzzy timed protocol verification. Computer Communications 19(5): 407-425 (1996)
	1995
2		Chung-Ming Huang, Jenq-Muh Hsu, Shiun-Wei Lee: ECFSM-Based Probabilistic Protocol Verification. Inf. Process. Lett. 55(1): 1-9 (1995)
	1994
1		Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu: Probabilistic Timed Protocol Verification for the Extended State Transition Model. ICPADS 1994: 432-437

Coauthor Index

1	Jenq-Muh Hsu	[1] [2] [3]
2	Chung-Ming Huang	[1] [2] [3]