Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2311-04302
AU - Chakraborty, Soham
AU - Krishna, Shankaranarayanan
AU - Mathur, Umang
AU - Pavlogiannis, Andreas
TI - How Hard is Weak-Memory Testing?
JO - CoRR
VL - abs/2311.04302
PY - 2023//
DO - 10.48550/ARXIV.2311.04302
UR - https://doi.org/10.48550/arXiv.2311.04302
ER -