Algorithms and Tools for Verification and Testing of Asynchronous Programs

Wang, Zilong

Lokale TagsFreigabegeschichteDetailsÜbersicht

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 Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

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

Genre: Hochschulschrift

Dateien

einblenden: Dateien

Externe Referenzen

einblenden:

ausblenden:

externe Referenz:
https://kluedo.ub.uni-kl.de/frontdoor/deliver/index/docId/4354/file/ZilongThesis.pdf (beliebiger Volltext) Open Access Status unbekannt

Beschreibung:
-

OA-Status:

Urheber

einblenden:

ausblenden:

Urheber:
Wang, Zilong¹, Autor
Majumdar, Rupak¹, Ratgeber
Meyer, Roland², Gutachter
Ganty, Pierre², Gutachter

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

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2016Online veröffentlicht: 2016Erschienen: 2016

Publikationsstatus: Erschienen

Seiten: 157 p.

Ort, Verlag, Ausgabe: Kaiserslautern : Technische Universität Kaiserslautern

Inhaltsverzeichnis: -

Art der Begutachtung: -

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

Art des Abschluß: Doktorarbeit

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle