TY  - RPRT
TI  - Algorithmic Verification of Asynchronous Programs
AU  - Pierre Ganty
AU  - Rupak Majumdar
PY  - 2011
DO  - 10.1145/2160910.2160915
UR  - https://arxiv.org/abs/1011.0551
ID  - 1011.0551
ER  -