Lin, Fuchun. "An integrated approach to verification and performance analysis of communication protocols /." Doctoral dissertation, Ohio State University, 1988. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487594970650913Chicago Manual of Style (17th edition)