Integrating Temporal Assertions into a Parallel Debugger.

Jzsef Kovcs, Gbor Kusper, Rbert Lovas, Wolfgang Schreiner

Browse the full EuroPar paper archive.