An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking.

Martin Klbl, Stefan Leue

Browse the full ATVA paper archive.