Cite
APA Citation
Abell, S., Do, N., & Lee, J. J. (2016). gPU-LMDDA: a bit-vector GPU-based deadlock detection algorithm for multi-unit resource systems. International journal of parallel, emergent and distributed systems, 31(6), 562–590. http://access.bl.uk/ark:/81055/vdc_100038530607.0x000064