Export
APA
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida, (2015). Dynamic Deadlock Verification for General Barrier Synchronisation. ACM SIGPLAN NOTICES, 50, 150-160. ISSN 0362-1340. eISSN .
IEEE
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida, "Dynamic Deadlock Verification for General Barrier Synchronisation" in ACM SIGPLAN NOTICES, vol. 50, pp. 150-160, 2015.
BIBTEX
@article{34489,
author = {Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida},
title = {Dynamic Deadlock Verification for General Barrier Synchronisation},
journal = {ACM SIGPLAN NOTICES},
year = 2015,
pages = {150-160},
volume = 50
}