TY  - RPRT
TI  - Stateless Model Checking under a Reads-Value-From Equivalence
AU  - Pratyush Agarwal
AU  - Krishnendu Chatterjee
AU  - Shreya Pathak
AU  - Andreas Pavlogiannis
AU  - Viktor Toman
PY  - 2021
UR  - https://arxiv.org/abs/2105.06424
ID  - 2105.06424
ER  -