Error Invariants for Concurrent Traces.

Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies

Browse the full FM paper archive.