%0 Thesis %1 phd/dnb/Apinis14 %A Apinis, Kalmer %D 2014 %K dblp %P 1-128 %T Frameworks for analyzing multi-threaded C.

@phdthesis{phd/dnb/Apinis14, added-at = {2016-04-18T00:00:00.000+0200}, author = {Apinis, Kalmer}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28997a759c178901f5395e8c40c8af2aa/dblp}, ee = {http://d-nb.info/1053726635}, interhash = {486ada090862e9cdb8d265f848522cf7}, intrahash = {8997a759c178901f5395e8c40c8af2aa}, keywords = {dblp}, pages = {1-128}, school = {Technical University Munich}, timestamp = {2016-04-20T09:35:18.000+0200}, title = {Frameworks for analyzing multi-threaded C.}, year = 2014 }