Return to search

Automatic verification of parameterized systems /

Thesis (Ph. D.)--New York University, Graduate School of Arts and Science, 2005. / Typescript. Includes bibliographical references (leaves 124-128). Also available in electronic format on the World Wide Web. Access restricted to users affiliated with the licensed institutions.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/85021143
Date January 1900
CreatorsXu, Jiazhao (Jessie).
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds