Show simple item record

dc.contributor.advisorEmerson, E. Allenen
dc.creatorKahlon, Vineeten
dc.date.accessioned2008-08-28T21:49:09Zen
dc.date.available2008-08-28T21:49:09Zen
dc.date.issued2004en
dc.identifierb59011221en
dc.identifier.urihttp://hdl.handle.net/2152/1158en
dc.descriptiontexten
dc.format.mediumelectronicen
dc.language.isoengen
dc.rightsCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en
dc.subject.lcshComputer programs--Verificationen
dc.titleModel checking: beyond the finiteen
dc.description.departmentComputer Sciencesen
dc.identifier.oclc57551121en
dc.identifier.proqst3143279en
dc.type.genreThesisen
thesis.degree.departmentComputer Sciencesen
thesis.degree.disciplineComputer Sciencesen
thesis.degree.grantorThe University of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record