Dynamic path conditions in dependence graphs.

Christian Hammer, Martin Grimme, Jens Krinke

Browse the full PEPM paper archive.