Return to search

Deductive multi-valued model checking /

Thesis (Ph. D.)--University of Texas at Dallas, 2006. / Includes vita. Includes bibliographical references (leaves 107-114).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/84737035
Date January 2006
CreatorsMallya, Ajay.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds