AVIO
From MaRDI portal
Software:34874
No author found.
Related Items (5)
Fast Detection of Stable and Count Predicates in Parallel Computations ⋮ Symbolic predictive analysis for concurrent programs ⋮ Extensible transactional memory testbed ⋮ Abstraction and mining of traces to explain concurrency bugs ⋮ The Complexity of Predicting Atomicity Violations
This page was built for software: AVIO
