A graph theoretic approach to assessing tradeoffs on memory usage for model checking

Description

Thesis (M.S.)--West Virginia University, 2000. / Title from document title page. Document formatted into pages; contains vii, 167 p. : ill. Includes abstract. Includes bibliographical references (p. 107-109).

Links & Downloads

1. http://etd.wvu.edu/templates/showETD.cfm?recnum=1355

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/44489152
Date	January 2000
Creators	Powell, John D.
Publisher	Morgantown, W. Va. : [West Virginia University Libraries],
Source Sets	OCLC
Language	English
Detected Language	English