TY  - RPRT
TI  - Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)
AU  - Alexander Kaiser
AU  - Daniel Kroening
AU  - Thomas Wahl
PY  - 2014
UR  - https://arxiv.org/abs/1406.5715
ID  - 1406.5715
ER  -