On temporal path conditions in dependence graphs

Andreas Lochbihler, Gregor Snelting. On temporal path conditions in dependence graphs. Automated Software Engineering, 16(2):263-290, 2009. [doi]

Abstract

Abstract is missing.