Direct handling of infeasible paths in the event dependency analysis.

Kilian Kempf, Frank Slomka

Browse the full RTCSA paper archive.