TY  - RPRT
TI  - Stateless Model Checking for POWER
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Bengt Jonsson
AU  - Carl Leonardsson
PY  - 2016
UR  - https://arxiv.org/abs/1605.02185
ID  - 1605.02185
ER  -