Reconciling Preemption Bounding with DPOR.

Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis

Browse the full TACAS paper archive.