Cite
MLA Citation
Stephen Abell et al.. “GPU-OSDDA: a bit-vector GPU-based deadlock detection algorithm for single-unit resource systems.” International journal of parallel, emergent and distributed systems, vol. 31, no. 5, 2016, pp. 450–468. http://access.bl.uk/ark:/81055/vdc_100033828419.0x000060