Return to search

Mechanical verification of reactive systems

Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/55890391
Date January 2001
CreatorsManolios, Panagiotis.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.002 seconds