Return to search

Maximality modular verification and implementability /

Thesis (Ph. D.)--Ohio State University, 2009. / Title from first page of PDF file. Includes vita. Includes bibliographical references (p. 133-136).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/613678574
Date January 2009
CreatorsLang, Matthew,
PublisherColumbus, Ohio : Ohio State University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to resource online

Page generated in 0.0508 seconds