Causality-Based Verification of Multi-threaded Programs

Kupriyanov, Andrey and Finkbeiner, Bernd
(2013) Causality-Based Verification of Multi-threaded Programs.
In: Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013).
Conference: CONCUR - International Conference on Concurrency Theory

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item