Automatic structural abstraction techniques for enhanced verification

Description

Thesis (Ph. D.)--University of Texas at Austin, 2002. / Vita. Includes bibliographical references. Available also from UMI Computer.

Links & Downloads

1. http://www.lib.utexas.edu/etd/r/d/2002/baumgartnerjr029/baumgartnerjr029.pdf#page=3
2. http://wwwlib.umi.com/cr/utexas/fullcit?p3108455

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/54053271
Date	January 2002
Creators	Baumgartner, Jason Raymond.
Source Sets	OCLC
Language	English
Detected Language	English