Return to search

Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems

Thesis (Ph.D. in computer science)--Washington State University, August 2005. / Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/61323334
Date January 2005
CreatorsXie, Gaoyan,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceOnline access for everyone

Page generated in 0.0016 seconds