Return to search

Decision diagram algorithms for logic and timed verification

Thesis (Ph. D.)--University of California, Riverside, 2008. / Includes abstract. Title from first page of PDF file (viewed March 10, 2010). Available via ProQuest Digital Dissertations. Includes bibliographical references (p. 166-170). Also issued in print.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/550592212
Date January 2008
CreatorsWan, Min.
Publisher[Riverside, Calif.] : University of California, Riverside,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeDissertations, Academic
SourceUC access only

Page generated in 0.0016 seconds