Zachary R. Anderson. Checking the Data Sharing Strategies of Concurrent Systems Level Code. PhD thesis, University of California, Berkeley, USA, 2010. [doi]
@phdthesis{basesearch-2876,
title = {Checking the Data Sharing Strategies of Concurrent Systems Level Code},
author = {Zachary R. Anderson},
year = {2010},
url = {https://www.base-search.net/Record/08e63cd09591434187d3834885b6bf0163fcb483203c57824cce07e956d36be2},
note = {base-search.net (ftcdlib:qt5gz712z9)},
researchr = {https://researchr.org/publication/basesearch-2876},
cites = {0},
citedby = {0},
school = {University of California, Berkeley, USA},
}