Return to search

Efficient model checking for timing diagrams /

Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references (leaves 133-143). Available also in a digital version from Dissertation Abstracts.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/49032909
Date January 2001
CreatorsAmla, Nina.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0022 seconds