Return to search

Disk based model checking /

Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2004. / Includes bibliographical references (p. 33-34).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/56976454
Date January 2004
CreatorsBao, Tonglaga,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeElectronic dissertations.
SourceCLICK HERE for online access

Page generated in 0.0021 seconds