@inproceedings{Stoller&98a,
author="Scott D. Stoller and Yanhong A. Liu",
title="Efficient Symbolic Detection of Global Properties in Distributed Systems",
booktitle="Proc.\ Tenth Int'l. Conference on Computer-Aided Verification (CAV)",
year=1998,
month=jun,
series="Lecture Notes in Computer Science",
publisher="Springer-Verlag"
}