Media type: E-Book; Thesis Title: Robustness against Relaxed Memory Models Contributor: Derevenetc, Egor [Verfasser]; Meyer, Roland [Akademischer Betreuer] imprint: Kaiserslautern: Technische Universität Kaiserslautern, 2015 Extent: Online-Ressource Language: English Identifier: Keywords: relaxed memory models ; robustness ; verification ; decidability ; Hochschulschrift Origination: University thesis: Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2015 Footnote: Access State: Open Access