@inproceedings{wang03runtimeRV,
author="Liqiang Wang and Scott D. Stoller",
title="Run-Time Analysis for Atomicity",
month=jul,
year=2003,
booktitle="Proc.\ Third Workshop on Runtime Verification (RV)",
series="Electronic Notes in Theoretical Computer Science",
publisher="Elsevier",
volume="89(2)"
}