@misc
{TN_libero_mab2,
author = {
Derevenetc, Egor
Meyer, Roland
},
title = {
Robustness against Relaxed Memory Models
},
publisher = {Technische Universität Kaiserslautern},
keywords = {
relaxed memory models
,
robustness
,
verification
,
decidability
,
Hochschulschrift
},
year = {2015},
address = {
Kaiserslautern
},
url = {
https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=13-1071087444&tx_find_find%5Btype%5D=bibtex
}
}