Algorithms and Tools for Verification and Testing of Asynchronous Programs

Wang, Zilong

Local TagsRelease HistoryDetailsSummary

Algorithms and Tools for Verification and Testing of Asynchronous Programs

Wang, Z. (2016). Algorithms and Tools for Verification and Testing of Asynchronous Programs. PhD Thesis, Technische Universität Kaiserslautern, Kaiserslautern.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0009-841F-0 Version Permalink: https://hdl.handle.net/21.11116/0000-0009-8420-D

Genre: Thesis

Files

show Files

Locators

show

hide

Locator:
https://kluedo.ub.uni-kl.de/frontdoor/deliver/index/docId/4354/file/ZilongThesis.pdf (Any fulltext) Open Access status unknown

Description:
-

OA-Status:

Creators

show

hide

Creators:
Wang, Zilong¹, Author
Majumdar, Rupak¹, Advisor
Meyer, Roland², Referee
Ganty, Pierre², Referee

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2016Published Online: 2016Date issued: 2016

Publication Status: Issued

Pages: 157 p.

Publishing info: Kaiserslautern : Technische Universität Kaiserslautern

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Wangphd2016
URN: nbn:de:hbz:386-kluedo-43542

Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show