@article{stoller02model,
author="Scott D. Stoller",
title="Model-Checking Multi-Threaded Distributed {J}ava Programs",
journal="International Journal on Software Tools for Technology Transfer",
volume=4,
number=1,
month=oct,
year=2002,
pages="71-91",
publisher="Springer-Verlag",
URL="http://www.cs.sunysb.edu/~stoller/STTT.html"
}