Date of Graduation
2000
Document Type
Thesis
Degree Type
MS
Committee Chair
Jack Callahan
Recommended Citation
Powell, John D., "A graph theoretic approach to assessing tradeoffs on memory usage for model checking." (2000). Graduate Theses, Dissertations, and Problem Reports. 11058.
https://researchrepository.wvu.edu/etd/11058
COinS