Andreas Lochbihler, Gregor Snelting. On Temporal Path Conditions in Dependence Graphs. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2007. [doi]
@article{10.1109-SCAM.2007.10,
title = {On Temporal Path Conditions in Dependence Graphs},
author = {Andreas Lochbihler and Gregor Snelting},
year = {2007},
doi = {10.1109/SCAM.2007.10},
url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2007.10},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/10.1109-SCAM.2007.10},
cites = {0},
citedby = {0},
journal = {Source Code Analysis and Manipulation, IEEE International Workshop on},
volume = {0},
}