Media type: Electronic Conference Proceeding; E-Article; Text Title: Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks Contributor: Graf, J. [Author]; Hecker, M. [Author]; Mohr, M. [Author]; Nordhoff, B. [Author] imprint: KITopen (Karlsruhe Institute of Technologie), 2014-02-13 Language: English Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.