TY  - RPRT
TI  - AbPress: Flexing Partial-Order Reduction and Abstraction
AU  - Daniel Kroening
AU  - Subodh Sharma
AU  - Björn Wachter
PY  - 2014
UR  - https://arxiv.org/abs/1410.6044
ID  - 1410.6044
ER  -