@inproceedings{Stoller&98b,
author = "Scott D. Stoller and Fred B. Schneider",
title = "Automated Stream-Based Analysis of Fault-Tolerance",
booktitle = FTRTFT98,
publisher="Springer-Verlag",
series="Lecture Notes in Computer Science",
volume=1486,
pages="113-122",
year=1998,
month=sep,
address="Lyngby, Denmark"
}