@inproceedings{Stoller00e,
author="Scott D. Stoller",
title="Model-Checking Multi-Threaded Distributed {J}ava Programs",
booktitle="Proc.\ 7th International SPIN Workshop on Model Checking of Software",
year=2000,
month=aug,
series="Lecture Notes in Computer Science",
volume=1885,
publisher="Springer-Verlag",
URL="ftp://ftp.cs.indiana.edu/pub/stoller/SPIN2000.ps"
}