Return to search

Model checking beyond the finite /

Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Ernest A. Emerson, II. Vita. Includes bibliographical references. Also available from UMI.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/57551121
Date January 2004
CreatorsKahlon, Vineet. Emerson, E. Allen,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0018 seconds