Send email Copy Email Address
2013-01-01

Causality-Based Verification of Multi-threaded Programs

Tags
Trustworthy Information Processing
Conference / Medium

Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)

Date published

2013-01-01

Date last modified

2019-07-18 12:09:27

Authors
Download