Causal Termination of Multi-threaded Programs

Kupriyanov, Andrey and Finkbeiner, Bernd
(2014) Causal Termination of Multi-threaded Programs.
In: Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014).
Conference: CAV - Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item