Skip to Main Content
Frequently Asked Questions
Submit an ETD
Global Search Box
Need Help?
Keyword Search
Participating Institutions
Advanced Search
School Logo
Files
File List
8913628.pdf (4.74 MB)
ETD Abstract Container
Abstract Header
Towards automating protocol synthesis and analysis /
Author Info
Chu, Peil-Ying Mark
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303840366
Abstract Details
Year and Degree
1989, Doctor of Philosophy, Ohio State University, Graduate School.
Abstract
Committee
Not Provided (Other)
Subject Headings
Computer Science
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Chu, P.-Y. M. (1989).
Towards automating protocol synthesis and analysis /
[Doctoral dissertation, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303840366
APA Style (7th edition)
Chu, Peil-Ying.
Towards automating protocol synthesis and analysis /.
1989. Ohio State University, Doctoral dissertation.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303840366.
MLA Style (8th edition)
Chu, Peil-Ying. "Towards automating protocol synthesis and analysis /." Doctoral dissertation, Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487598303840366
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
osu1487598303840366
Download Count:
247
Copyright Info
This document is provided by The Ohio State University for research and educational purposes, and may be under copyright by the author or the author's heirs. Please contact the ETD Center administrator at The Ohio State University
gsetd@gradsch.ohio-state.edu
with any questions or comments. In your email, be sure to include the URL and title of the specific items you are inquiring about.
This open access ETD is published by The Ohio State University and OhioLINK.