Media type: E-Article Title: Fundamentals of Software Engineering: Deadlock Checking by Data Race Detection Contributor: Pun, Ka I; Steffen, Martin; Stolz, Volker imprint: Springer Berlin Heidelberg, 2013 Published in: Fundamentals of Software Engineering Language: Not determined DOI: 10.1007/978-3-642-40213-5_3 ISSN: 0302-9743; 1611-3349 Origination: Footnote: