Return to search

Techniques for formal verification of concurrent and distributed program traces

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/69138368
Date January 2004
CreatorsSen, Mehmet Alper, Garg, Vijay K.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.002 seconds