TY  - RPRT
TI  - Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)
AU  - Alastair Donaldson
AU  - Alexander Kaiser
AU  - Daniel Kroening
AU  - Thomas Wahl
PY  - 2011
UR  - https://arxiv.org/abs/1102.2330
ID  - 1102.2330
ER  -