Detection of deadlock potentials in multithreaded programs

Saved in:
Bibliographic Details
Published in:IBM journal of research and development 2010-09, Vol.54 (5), p.3-3:15
Main Authors: Agarwal, R., Bensalem, S., Farchi, E., Havelund, K., Nir-Buchbinder, Y., Stoller, S. D., Ur, S., Wang, L.
Format: Article
Language:English
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0018-8646
0018-8646
DOI:10.1147/JRD.2010.2060276