Protocol verification using reachability analysis: the state space explosion problem and relief strategies. - Fuchun J. Lin; P. M. Chu; Ming T. Liu (Comput. Commun. Rev., 1987)

Towards Realization of Reactive Gas Amount of Substance Standards Through Spectroscopic Measurements. - P. M. Chu; David D. Nelson; Mark S. Zahniser; J. Barry McManus; Quan Shi; J. C. Travis (IEEE Trans. Instrum. Meas., 2007)