NDLTD Global ETD Search
Return to search

Decision diagram algorithms for logic and timed verification

Description

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.

Links & Downloads
  1. http://proquest.umi.com/pqdweb?index=0&did=1663077981&SrchMode=2&sid=1&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1268242250&clientId=48051
Tags
Additional Fields
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