Resource Protection Using Atomics - Patterns and Verification. Amighi, A., Blom, S., & Huisman, M. In APLAS, pages 255–274, 2014.
Resource Protection Using Atomics - Patterns and Verification [link]Paper  bibtex   
@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}
    }

Downloads: 0