Cite
APA Citation
Abell, S., Do, N., & Lee, J. J. (2016). gPU-OSDDA: a bit-vector GPU-based deadlock detection algorithm for single-unit resource systems. International journal of parallel, emergent and distributed systems, 31(5), 450–468. http://access.bl.uk/ark:/81055/vdc_100033828419.0x000060