@inproceedings{stoller01transformations,
author="Scott D. Stoller and Yanhong A. Liu",
title="Transformations for Model Checking Distributed Java Programs.",
booktitle="Proc.\ 8th Int'l.\ SPIN Workshop on Model Checking of Software",
year=2001,
month=may,
series="Lecture Notes in Computer Science",
volume=2057,
publisher="Springer-Verlag",
pages="192-199"
}