@inproceedings{AmighiAPLAS,
    Author      = {A. Amighi and S. Blom and M. Huisman},
    Booktitle   = {APLAS},
    Pages       = {255--274},
    Title       = {Resource Protection Using Atomics - Patterns and Verification},
    Year        = {2014},
    url         = {https://research.utwente.nl/en/publications/resource-protection-using-atomics-patterns-and-verifications}
    }

{"_id":"5RDpSmyzcEy7Rxyag","bibbaseid":"amighi-blom-huisman-resourceprotectionusingatomicspatternsandverification-2014","authorIDs":["5d14be645b939dee01000058"],"author_short":["Amighi, A.","Blom, S.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["A."],"propositions":[],"lastnames":["Amighi"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"booktitle":"APLAS","pages":"255–274","title":"Resource Protection Using Atomics - Patterns and Verification","year":"2014","url":"https://research.utwente.nl/en/publications/resource-protection-using-atomics-patterns-and-verifications","bibtex":"@inproceedings{AmighiAPLAS,\n Author = {A. Amighi and S. Blom and M. Huisman},\n Booktitle = {APLAS},\n Pages = {255--274},\n Title = {Resource Protection Using Atomics - Patterns and Verification},\n Year = {2014},\n url = {https://research.utwente.nl/en/publications/resource-protection-using-atomics-patterns-and-verifications}\n }\n \n","author_short":["Amighi, A.","Blom, S.","Huisman, M."],"key":"AmighiAPLAS","id":"AmighiAPLAS","bibbaseid":"amighi-blom-huisman-resourceprotectionusingatomicspatternsandverification-2014","role":"author","urls":{"Paper":"https://research.utwente.nl/en/publications/resource-protection-using-atomics-patterns-and-verifications"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.128Z","downloads":1,"keywords":[],"search_terms":["resource","protection","using","atomics","patterns","verification","amighi","blom","huisman"],"title":"Resource Protection Using Atomics - Patterns and Verification","year":2014,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}