Andreas Lochbihler, Gregor Snelting. On Temporal Path Conditions in Dependence Graphs. In Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France. pages 49-58, IEEE, 2007. [doi]
Abstract is missing.