@inproceedings{Stoller:Unnikrishnan:Liu:00,
author="Scott D. Stoller and Leena Unnikrishnan and Yanhong A. Liu",
title="Efficient Detection of Global Properties in Distributed Systems
    Using Partial-Order Methods",
booktitle="Proc.\ 12th Int'l. Conference on Computer-Aided Verification (CAV)",
year=2000,
month=jul,
series="Lecture Notes in Computer Science",
volume=1855,
publisher="Springer-Verlag",
pages="264-279"
}