Return to search

Load balancing parallel explicit state model checking /

Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2004. / Includes bibliographical references (p. 65-[69]).

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

Page generated in 0.0015 seconds