Weissenbacher, Georg

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Weissenbacher, Georg
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Subject:  concurrency

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg Dynamic Reductions for Model Checking Concurrent SoftwareKonferenzbeitrag Inproceedings 2017

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  concurrency

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fellner Andreas - 2021 - Starkes modellbasiertes Mutationstesten.pdf.jpgFellner, Andreas Starkes modellbasiertes MutationstestenThesis Hochschulschrift 2021
2Tabaei Befrouei Mitra - 2016 - Effective error explanation techniques for...pdf.jpgTabaei Befrouei, Mitra Effective error explanation techniques for concurrent softwareThesis Hochschulschrift 2016