Techniques for formal verification of concurrent and distributed program traces

Description

Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Vijay K. Garg. Vita. Includes bibliographical references.

Links & Downloads

1. http://repositories.lib.utexas.edu/bitstream/handle/2152/2189/senma042.pdf

Tags

Computer programs Computer algorithms.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/69138368
Date	January 2004
Creators	Sen, Mehmet Alper, Garg, Vijay K.
Source Sets	OCLC
Language	English
Detected Language	English