Return to search

Symbolic model checking for large software specifications /

Thesis (Ph. D.)--University of Washington, 1999. / Vita. Includes bibliographical references (p. 126-141).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/44036341
Date January 1999
CreatorsChan, Woon Chung,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeTheses
SourceConnect to this title online; UW restricted

Page generated in 0.0015 seconds