@inproceedings{Stoller&97,
author = "Scott D. Stoller and Fred B. Schneider",
title = "Automated Analysis of Fault-Tolerance in Distributed Systems",
booktitle = "Proc.\ First ACM SIGPLAN Workshop on Automated Analysis of Software",
year=1997,
editor="Rance Cleaveland and Daniel Jackson",
month="14 January",
address="Paris, France",
pages="33-44"
}