BibTex format
@inproceedings{Soares:2014:10.1145/2688500.2688519,
author = {Soares, Cogumbreiro Garcia T and Hu, R and Martins, F and Yoshida, N},
doi = {10.1145/2688500.2688519},
title = {Dynamic deadlock verification for general barrier synchronisation},
url = {http://dx.doi.org/10.1145/2688500.2688519},
year = {2014}
}