Techniques for formal verification of concurrent and distributed program traces
Not available === text
Main Author: | |
---|---|
Format: | Others |
Language: | English |
Published: |
2008
|
Subjects: | |
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 |