P. M. Chu

List of publications from the DBLP Bibliography Server - FAQ

1987

1 EE Fuchun J. Lin, P. M. Chu, Ming T. Liu: Protocol verification using reachability analysis: the state space explosion problem and relief strategies. Computer Communication Review 17(5): 126-135 (1987)

1987
1	EE	Fuchun J. Lin, P. M. Chu, Ming T. Liu: Protocol verification using reachability analysis: the state space explosion problem and relief strategies. Computer Communication Review 17(5): 126-135 (1987)

Coauthor Index

1 Fuchun J. Lin [1]

2 Ming T. Liu (Ming-Tsan Liu) [1]