TY  - RPRT
TI  - Stateless Model Checking for TSO and PSO
AU  - Parosh Abdulla
AU  - Stavros Aronis
AU  - Mohammed Faouzi Atig
AU  - Bengt Jonsson
AU  - Carl Leonardsson
AU  - Konstantinos Sagonas
PY  - 2015
UR  - https://arxiv.org/abs/1501.02069
ID  - 1501.02069
ER  -