Return to search

Model checking for open systems a compositional approach to software verification /

Thesis (Ph. D.)--University of Florida, 2001. / Title from first page of PDF file. Document formatted into pages; contains xi, 144 p.; also contains graphics. Vita. Includes bibliographical references (p. 139-143).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/70786459
Date January 2001
CreatorsAndrade-Gómez, Héctor Adolfo,
Publisher[Gainesville, Fla.] : University of Florida,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLocal Copy Licensed for access by UF students, faculty, and staff (and others in a UF library)

Page generated in 0.0016 seconds