Techniques for formal verification of concurrent and distributed program traces

Not available === text

Bibliographic Details
Main Author:	Sen, Mehmet Alper
Format:	Others
Language:	English
Published:	2008
Subjects:	Computer programs > Verification Computer algorithms
Online Access:	http://hdl.handle.net/2152/2189

id	ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-2189
record_format	oai_dc
spelling	ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-21892015-09-20T16:50:33ZTechniques for formal verification of concurrent and distributed program tracesSen, Mehmet AlperComputer programs--VerificationComputer algorithmsNot availabletext2008-08-28T22:36:57Z2008-08-28T22:36:57Z20042008-08-28T22:36:57ZThesistextelectronicb60841084http://hdl.handle.net/2152/2189691383683145349b60841084engCopyright 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.
collection	NDLTD
language	English
format	Others
sources	NDLTD
topic	Computer programs--Verification Computer algorithms
spellingShingle	Computer programs--Verification Computer algorithms Sen, Mehmet Alper Techniques for formal verification of concurrent and distributed program traces
description	Not available === text
author	Sen, Mehmet Alper
author_facet	Sen, Mehmet Alper
author_sort	Sen, Mehmet Alper
title	Techniques for formal verification of concurrent and distributed program traces
title_short	Techniques for formal verification of concurrent and distributed program traces
title_full	Techniques for formal verification of concurrent and distributed program traces
title_fullStr	Techniques for formal verification of concurrent and distributed program traces
title_full_unstemmed	Techniques for formal verification of concurrent and distributed program traces
title_sort	techniques for formal verification of concurrent and distributed program traces
publishDate	2008
url	http://hdl.handle.net/2152/2189
work_keys_str_mv	AT senmehmetalper techniquesforformalverificationofconcurrentanddistributedprogramtraces
_version_	1716820137305178112

Techniques for formal verification of concurrent and distributed program traces

Similar Items